Registered user since Tue 27 Feb 2018

Name:Philipp Mayer
Affiliation:University of Salzburg

Contributions

MoreVMs 2018 Author of Selfie: Towards Minimal Symbolic Execution within the MoreVMs 2018-track