Valentin Wüstholz

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 39

Top Topics

Usage Scenarios

Deterministic Finite Automata

Symbolic Execution

Top Venues

ESEC/SIGSOFT FSE

Publications

Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis
Automatically Testing Functional Properties of Code Translation Models. AAAI (2024)
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
Inductive Predicate Synthesis Modulo Programs (Extended). CoRR (2024)
Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis
Automatically Testing Functional Properties of Code Translation Models. CoRR (2023)
Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz
Specifying and Testing k-Safety Properties for Machine-Learning Models. IJCAI (2023)
Muhammad Numair Mansur, Valentin Wüstholz, Maria Christakis
Dependency-Aware Metamorphic Testing of Datalog Engines. ISSTA (2023)
Jiradet Ounjai, Valentin Wüstholz, Maria Christakis
Green Fuzzer Benchmarking. ISSTA (2023)
Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, Maria Christakis
Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing. ISSTA (2022)
Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz
Specifying and Testing k-Safety Properties for Machine-Learning Models. CoRR (2022)
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. VMCAI (2022)
Marcel Steinmetz, Daniel Fiser, Hasan Ferit Eniser, Patrick Ferber, Timo P. Gros, Philippe Heim, Daniel Höller, Xandra Schuler, Valentin Wüstholz, Maria Christakis, Jörg Hoffmann
Debugging a Policy: Automatic Action-Policy Testing in AI Planning. ICAPS (2022)
Marcel Böhme, Danushka Liyanage, Valentin Wüstholz
Estimating residual risk in greybox fuzzing. ESEC/SIGSOFT FSE (2021)
Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz
Automated Safety Verification of Programs Invoking Neural Networks. CAV (1) (2021)
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz
Metamorphic testing of Datalog engines. ESEC/SIGSOFT FSE (2021)
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
Compositional Verification of Smart Contracts Through Communication Abstraction. SAS (2021)
Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz
Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios. CAV (2) (2021)
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
Compositional Verification of Smart Contracts Through Communication Abstraction (Extended). CoRR (2021)
Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
Perfectly parallel fairness certification of neural networks. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Valentin Wüstholz, Maria Christakis
Targeted greybox fuzzing with static lookahead analysis. ICSE (2020)
Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz
Automatically Tailoring Static Analysis to Custom Usage Scenarios. CoRR (2020)
Valentin Wüstholz, Maria Christakis
Harvey: a greybox fuzzer for smart contracts. ESEC/SIGSOFT FSE (2020)
Hasan Ferit Eniser, Maria Christakis, Valentin Wüstholz
RAID: Randomized Adversarial-Input Detection for Neural Networks. CoRR (2020)
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing. CoRR (2020)
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing. ESEC/SIGSOFT FSE (2020)
Valentin Wüstholz, Maria Christakis
Harvey: A Greybox Fuzzer for Smart Contracts. CoRR (2019)
Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wüstholz
Semantic Fault Localization and Suspiciousness Ranking. TACAS (1) (2019)
Valentin Wüstholz, Maria Christakis
Targeted Greybox Fuzzing with Static Lookahead Analysis. CoRR (2019)
Christian Klinger, Maria Christakis, Valentin Wüstholz
Differentially testing soundness and precision of program analyzers. ISSTA (2019)
Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
Perfectly Parallel Fairness Certification of Neural Networks. CoRR (2019)
Christian Klinger, Maria Christakis, Valentin Wüstholz
Differentially Testing Soundness and Precision of Program Analyzers. CoRR (2018)
Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, Peter Müller
Automatically testing implementations of numerical abstract domains. ASE (2018)
Florentin Guth, Valentin Wüstholz, Maria Christakis, Peter Müller
Specification Mining for Smart Contracts with Automatic Abstraction Tuning. CoRR (2018)
Valentin Wüstholz, Maria Christakis
Learning Inputs in Greybox Fuzzing. CoRR (2018)
Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig
Failure-directed program trimming. ESEC/SIGSOFT FSE (2017)
Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig
Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions. TACAS (2) (2017)
Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig
Failure-Directed Program Trimming (Extended Version). CoRR (2017)
Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig
Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version). CoRR (2017)
Maria Christakis, Valentin Wüstholz
Bounded Abstract Interpretation. SAS (2016)
Maria Christakis, K. Rustan M. Leino, Peter Müller, Valentin Wüstholz
Integrated Environment for Diagnosing Verification Errors. TACAS (2016)
Maria Christakis, Peter Müller, Valentin Wüstholz
Guiding dynamic symbolic execution toward unverified program executions. ICSE (2016)
Maria Christakis, Peter Müller, Valentin Wüstholz
An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. VMCAI (2015)
K. Rustan M. Leino, Valentin Wüstholz
Fine-Grained Caching of Verification Results. CAV (1) (2015)
Maria Christakis, Peter Müller, Valentin Wüstholz
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. SEFM (2014)
K. Rustan M. Leino, Valentin Wüstholz
The Dafny Integrated Development Environment. F-IDE (2014)
Maria Christakis, Peter Müller, Valentin Wüstholz
Collaborative Verification and Testing with Explicit Assumptions. FM (2012)
Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß
The 1st Verified Software Competition: Experience Report. FM (2011)