Frank Busse - ISSTA 2023

Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States

co-located with ECOOP and ISSTA 2023

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

2023

ECOOP/ISSTA

Sparse Symbolic Execution

ISSTA

KDAlloc: The KLEE Deterministic Allocator

Show activities from other conferences

ECOOP and ISSTA 2023-profile
View general profile