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

ASE 2020Author of Pending Constraints in Symbolic Execution for Better Exploration and Seeding within the Research Papers-track
ISSTA 2020Author of Running Symbolic Execution Forever within the Technical Papers-track