BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
Collaborated with:
A.Roychoudhury J.Yi A.Griggio A.Cimatti Y.Hu U.Z.Ahmed B.Leong
Talks about:
program (3) repair (2) constraint (1) existenti (1) symbol (1) second (1) factor (1) execut (1) direct (1) assign (1)

Person: Sergey Mechtaev

DBLP DBLP: Mechtaev:Sergey

Contributed to:

ICSE 20152015
ESEC/FSE 20182018
ASE 20192019

Wrote 3 papers:

ICSE-v1-2015-MechtaevYR #named #program repair
DirectFix: Looking for Simple Program Repairs (SM, JY, AR), pp. 448–458.
ESEC-FSE-2018-MechtaevGCR #constraints #execution #higher-order #symbolic computation
Symbolic execution with existential second-order constraints (SM, AG, AC, AR), pp. 389–399.
ASE-2019-HuAMLR #program repair #programming
Re-Factoring Based Program Repair Applied to Programming Assignments (YH, UZA, SM, BL, AR), pp. 388–398.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.