• Sign in
  • Sign up
conf.researchr.org / Frank Busse
  • ASE 2020 profile
  • ECOOP 2022 profile
  • ISSTA 2020 profile
  • ISSTA 2022 profile

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

Share
xSat 3 Jun 00:46
using conf.researchr.org (v1.60.0)
Support page
Sign Up