Valentin Wüstholz

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Compositional Verification of Smart Contracts Through Communication Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 28th International Symposium, 2021

Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Automated Safety Verification of Programs Invoking Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Perfectly parallel fairness certification of neural networks.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Automatically Tailoring Static Analysis to Custom Usage Scenarios.

[BibT_eX]

[DOI]

CoRR, 2020

RAID: Randomized Adversarial-Input Detection for Neural Networks.

[BibT_eX]

[DOI]

Hasan Ferit Eniser

CoRR, 2020

Harvey: a greybox fuzzer for smart contracts.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Detecting critical bugs in SMT solvers using blackbox mutational fuzzing.

[BibT_eX]

[DOI]

Fuyuan Zhang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Targeted greybox fuzzing with static lookahead analysis.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Semantic Fault Localization and Suspiciousness Ranking.

[BibT_eX]

[DOI]

Matthias Heizmann

Christian Schilling

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Differentially testing soundness and precision of program analyzers.

[BibT_eX]

[DOI]

Christian Klinger

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018

Learning Inputs in Greybox Fuzzing.

[BibT_eX]

[DOI]

CoRR, 2018

Specification Mining for Smart Contracts with Automatic Abstraction Tuning.

[BibT_eX]

[DOI]

CoRR, 2018

Automatically testing implementations of numerical abstract domains.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2017

Failure-Directed Program Trimming (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2017

Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Failure-directed program trimming.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016

Integrated Environment for Diagnosing Verification Errors.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Bounded Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Guiding dynamic symbolic execution toward unverified program executions.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Partial Verification Results.

[BibT_eX]

[DOI]

PhD thesis, 2015

An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Fine-Grained Caching of Verification Results.

[BibT_eX]

[DOI]

K. Rustan M. Leino

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

The Dafny Integrated Development Environment.

[BibT_eX]

[DOI]

K. Rustan M. Leino

Proceedings of the Proceedings 1st Workshop on Formal Integrated Development Environment, 2014

Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2012

Collaborative Verification and Testing with Explicit Assumptions.

[BibT_eX]

[DOI]