
Registered user since Tue 5 Dec 2017
Name: Timotej Kapus
Affiliation: Imperial College London, UK
Contributions
ASE 2020 | Author of Pending Constraints in Symbolic Execution for Better Exploration and Seeding within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ASE 2020-profile
View general profile
View general profile