conf.researchr.org / Martin Nowack
Registered user since Tue 23 Jun 2020
Name:Martin Nowack
Country:United Kingdom
Affiliation:Imperial College London
Contributions
2024
FUZZING
KLEE
- Author of Mixed Fixed-point and Floating-point Symbolic Execution within the KLEE 2024-track
- Presenter of Deterministic State-space Exploration: Comparing and Measuring Effectiveness of Symbolic Execution Implementations within the KLEE 2024-track
- Co-chair in Program Committee within the KLEE 2024-track
- Session Chair of Program Repair & Keynote (part of KLEE 2024)