Registered user since Fri 26 Jun 2020

Name: Frank Busse

Country: United Kingdom

Affiliation: Imperial College London

Personal website:

Research interests: Symbolic Execution, Program Testing


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