Valentin Wüstholz

According to our database1, Valentin Wüstholz authored at least 24 papers between 2011 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Perfectly parallel fairness certification of neural networks.
Proc. ACM Program. Lang., 2020

Automatically Tailoring Static Analysis to Custom Usage Scenarios.
CoRR, 2020

RAID: Randomized Adversarial-Input Detection for Neural Networks.
CoRR, 2020

Harvey: a greybox fuzzer for smart contracts.
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.
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.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019
Semantic Fault Localization and Suspiciousness Ranking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Differentially testing soundness and precision of program analyzers.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018
Learning Inputs in Greybox Fuzzing.
CoRR, 2018

Specification Mining for Smart Contracts with Automatic Abstraction Tuning.
CoRR, 2018

Automatically testing implementations of numerical abstract domains.
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).
CoRR, 2017

Failure-Directed Program Trimming (Extended Version).
CoRR, 2017

Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Failure-directed program trimming.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016
Integrated Environment for Diagnosing Verification Errors.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Bounded Abstract Interpretation.
Proceedings of the Static Analysis - 23rd International Symposium, 2016

Guiding dynamic symbolic execution toward unverified program executions.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Fine-Grained Caching of Verification Results.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

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

Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2012
Collaborative Verification and Testing with Explicit Assumptions.
Proceedings of the FM 2012: Formal Methods, 2012

2011


  Loading...