Registered user since Wed 20 Dec 2017

Name: Sergey Mechtaev

Affiliation: National University of Singapore

Personal website: http://www.comp.nus.edu.sg/~mechtaev/

Research interests: software engineering, programming languages, formal methods

Contributions

ESEC/FSE 2018Author of Symbolic Execution with Existential Second-Order Constraints within the Research Papers-track
Show activities from other conferences

ESEC/FSE 2018-profile
View general profile