Search for persons
X
?
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis ,
2
Green Fuzzer Benchmarking:
, In:
?
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis ,
3
Dependency-Aware Metamorphic Testing of Datalog Engines:
, In:
?
Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis ,
4
Metamorphic relations via relaxations: an approach to obtai..:
, In:
?
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
5
Input splitting for cloud-based static application security..:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
7
Verifying Solidity Smart Contracts via Communication Abstra..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
8
Automated Safety Verification of Programs Invoking Neural N..:
, In:
?
Static Analysis; Lecture Notes in Computer Science ,
9
Compositional Verification of Smart Contracts Through Commu..:
, In:
?
Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
10
Metamorphic testing of Datalog engines:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
11
Automatically Tailoring Abstract Interpretation to Custom U..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
12
A Two-Phase Approach for Conditional Floating-Point Verific..:
, In:
?
Trustworthy AI - Integrating Learning, Optimization and Reasoning; Lecture Notes in Computer Science ,
13
Lab Conditions for Research on Explainable Automated Decisi..:
, In:
?
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
14
Harvey: a greybox fuzzer for smart contracts:
, In:
?
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
15