Concepedia

Valentin Wüstholz

VW

12

Publications

408

Citations

12

H-Index

2014

Active since

Affiliations

Max Planck Institute for Software Systems(Current)

Valentin Wüstholz is an author at Max Planck Institute for Software Systems specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringFormal MethodsSoftware TestingFormal VerificationVerificationSoftware Design

Publications per year

2014–2022

12

Publications

12

Guiding dynamic symbolic execution toward unverified program executions

Maria Christakis, Peter Müller, Valentin Wüstholz · 2016 · 92 citations · Full text

Program Checking, Engineering, Arithmetic Overflow +17

Perfectly parallel fairness certification of neural networks

Caterina Urban, Maria Christakis, Valentin Wüstholz et al. · Proceedings of the ACM on Programming Languages · 2020 · 61 citations · Full text

Artificial Intelligence, Parallel Fairness Certification, Engineering +17

The Dafny Integrated Development Environment

K. Rustan M. Leino, Valentin Wüstholz · Electronic Proceedings in Theoretical Computer Science · 2014 · 51 citations · Full text

Software Maintenance, Program Checking, Engineering +27

Detecting critical bugs in SMT solvers using blackbox mutational fuzzing

Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz et al. · 2020 · 43 citations · Full text

Software Maintenance, Engineering, Mature Solvers +21

Harvey: a greybox fuzzer for smart contracts

Valentin Wüstholz, Maria Christakis · 2020 · 30 citations · Full text

Engineering, Information Security, Software Engineering +18

Rows per page

1–5 of 12