Registered user since Wed 20 Dec 2017
Name:Sergey Mechtaev
Affiliation:University College London
Personal website:http://mechtaev.com
Research interests:software engineering, programming languages, formal methods
Contributions
| ICSE 2019 | Test-equivalence Analysis for Automatic Patch Generation | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2019-profile
View general profile
View general profile