
Registered user since Tue 5 Dec 2017
Name:Timotej Kapus
Affiliation:Imperial College London, UK
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