ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany

Registered user since Fri 26 Jun 2020

Name:Frank Busse
Country:United Kingdom
Affiliation:Imperial College London
Research interests:Symbolic Execution, Program Testing

Contributions

ECOOP 2022 A Deterministic Memory Allocator for Dynamic Symbolic Execution
Show activities from other conferences

Using general profile