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 2020 | Pending Constraints in Symbolic Execution for Better Exploration and Seeding | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ASE 2020-profile
View general profile
View general profile