Valentin Wüstholz

54 papers A* 11A 6B 7Journal 18Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Arguzz: Testing zkVMs for Soundness and Completeness Bugs. CoRR Christoph Hochrainer, Valentin Wüstholz, Maria Christakis
2025	A*	`conf`	Fuzzing Processing Pipelines for Zero-Knowledge Circuits. CCS Christoph Hochrainer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis
2025	A*	`conf`	Lazy Testing of Machine-Learning Models. IJCAI Anastasia Isychev, Valentin Wüstholz, Maria Christakis
2024	A*	`conf`	Automatically Testing Functional Properties of Code Translation Models. AAAI Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis
2024	A*	`conf`	Constraint-Based Test Oracles for Program Analyzers. ASE Markus Fleischmann, David Kaindlstorfer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis
2024	J	`jnl`	Fuzzing Processing Pipelines for Zero-Knowledge Circuits. CoRR Christoph Hochrainer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis
2024	J	`jnl`	Inductive Predicate Synthesis Modulo Programs (Extended). CoRR Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
2024	A	`conf`	Inductive Predicate Synthesis Modulo Programs. ECOOP Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
2024	A*	`conf`	Interrogation Testing of Program Analyzers for Soundness and Precision Issues. ASE David Kaindlstorfer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis
2024	A*	`conf`	Olympia: Fuzzer Benchmarking for Solidity. ASE Jana Chadt, Christoph Hochrainer, Valentin Wüstholz, Maria Christakis
2023	J	`jnl`	Automatically Testing Functional Properties of Code Translation Models. CoRR Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis
2023	A	`conf`	Dependency-Aware Metamorphic Testing of Datalog Engines. ISSTA Muhammad Numair Mansur, Valentin Wüstholz, Maria Christakis
2023	A	`conf`	Green Fuzzer Benchmarking. ISSTA Jiradet Ounjai, Valentin Wüstholz, Maria Christakis
2023	A*	`conf`	Specifying and Testing k-Safety Properties for Machine-Learning Models. IJCAI Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz
2022	A*	`conf`	Debugging a Policy: Automatic Action-Policy Testing in AI Planning. ICAPS 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
2022	A	`conf`	Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing. ISSTA Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, Maria Christakis
2022	J	`jnl`	Specifying and Testing k-Safety Properties for Machine-Learning Models. CoRR Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz
2022	B	`conf`	Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. VMCAI Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
2021	—	`conf`	Automated Safety Verification of Programs Invoking Neural Networks. CAV (1) Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz
2021	—	`conf`	Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios. CAV (2) Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz
2021	J	`jnl`	Compositional Verification of Smart Contracts Through Communication Abstraction (Extended). CoRR Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
2021	B	`conf`	Compositional Verification of Smart Contracts Through Communication Abstraction. SAS Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
2021	—	`conf`	Estimating residual risk in greybox fuzzing. ESEC/SIGSOFT FSE Marcel Böhme, Danushka Liyanage, Valentin Wüstholz
2021	—	`conf`	Metamorphic testing of Datalog engines. ESEC/SIGSOFT FSE Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz
2020	J	`jnl`	Automatically Tailoring Static Analysis to Custom Usage Scenarios. CoRR Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz
2020	J	`jnl`	Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing. CoRR Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
2020	—	`conf`	Detecting critical bugs in SMT solvers using blackbox mutational fuzzing. ESEC/SIGSOFT FSE Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
2020	—	`conf`	Harvey: a greybox fuzzer for smart contracts. ESEC/SIGSOFT FSE Valentin Wüstholz, Maria Christakis
2020	J	`jnl`	Perfectly parallel fairness certification of neural networks. Proc. ACM Program. Lang. Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
2020	J	`jnl`	RAID: Randomized Adversarial-Input Detection for Neural Networks. CoRR Hasan Ferit Eniser, Maria Christakis, Valentin Wüstholz
2020	A*	`conf`	Targeted greybox fuzzing with static lookahead analysis. ICSE Valentin Wüstholz, Maria Christakis
2019	A	`conf`	Differentially testing soundness and precision of program analyzers. ISSTA Christian Klinger, Maria Christakis, Valentin Wüstholz
2019	J	`jnl`	Harvey: A Greybox Fuzzer for Smart Contracts. CoRR Valentin Wüstholz, Maria Christakis
2019	J	`jnl`	Perfectly Parallel Fairness Certification of Neural Networks. CoRR Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
2019	—	`conf`	Semantic Fault Localization and Suspiciousness Ranking. TACAS (1) Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wüstholz
2019	J	`jnl`	Targeted Greybox Fuzzing with Static Lookahead Analysis. CoRR Valentin Wüstholz, Maria Christakis
2018	A*	`conf`	Automatically testing implementations of numerical abstract domains. ASE Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, Peter Müller
2018	J	`jnl`	Differentially Testing Soundness and Precision of Program Analyzers. CoRR Christian Klinger, Maria Christakis, Valentin Wüstholz
2018	J	`jnl`	Learning Inputs in Greybox Fuzzing. CoRR Valentin Wüstholz, Maria Christakis
2018	J	`jnl`	Specification Mining for Smart Contracts with Automatic Abstraction Tuning. CoRR Florentin Guth, Valentin Wüstholz, Maria Christakis, Peter Müller
2017	J	`jnl`	Failure-Directed Program Trimming (Extended Version). CoRR Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig
2017	—	`conf`	Failure-directed program trimming. ESEC/SIGSOFT FSE Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig
2017	—	`conf`	Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions. TACAS (2) Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig
2017	J	`jnl`	Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version). CoRR Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig
2016	B	`conf`	Bounded Abstract Interpretation. SAS Maria Christakis, Valentin Wüstholz
2016	A*	`conf`	Guiding dynamic symbolic execution toward unverified program executions. ICSE Maria Christakis, Peter Müller, Valentin Wüstholz
2016	A	`conf`	Integrated Environment for Diagnosing Verification Errors. TACAS Maria Christakis, K. Rustan M. Leino, Peter Müller, Valentin Wüstholz
2015	B	`conf`	An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. VMCAI Maria Christakis, Peter Müller, Valentin Wüstholz
2015	—	`conf`	Fine-Grained Caching of Verification Results. CAV (1) K. Rustan M. Leino, Valentin Wüstholz
2015	—	`—`	Partial Verification Results. Valentin Wüstholz
2014	B	`conf`	Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. SEFM Maria Christakis, Peter Müller, Valentin Wüstholz
2014	—	`conf`	The Dafny Integrated Development Environment. F-IDE K. Rustan M. Leino, Valentin Wüstholz
2012	B	`conf`	Collaborative Verification and Testing with Explicit Assumptions. FM Maria Christakis, Peter Müller, Valentin Wüstholz
2011	B	`conf`	The 1st Verified Software Competition: Experience Report. FM 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ß