conf.researchr.org / Frank Busse

Registered user since Fri 26 Jun 2020

Name:Frank Busse
Country:United Kingdom
Affiliation:Imperial College London
Personal website:https://srg.doc.ic.ac.uk/people/frank-busse/
Research interests:Symbolic Execution, Program Testing

Contributions

ISSTA 2022 Author of Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper) within the Technical Papers-track
ECOOP 2022 Author of A Deterministic Memory Allocator for Dynamic Symbolic Execution within the Research Papers-track
ASE 2020 Author of Pending Constraints in Symbolic Execution for Better Exploration and Seeding within the Research Papers-track
ISSTA 2020 Author of Running Symbolic Execution Forever within the Technical Papers-track