Sergey Mechtaev

Registered user since Wed 20 Dec 2017

Name: Sergey Mechtaev

Affiliation: National University of Singapore

Personal website:

Research interests: software engineering, programming languages, formal methods


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