Sergey Mechtaev
Title
Cited by
Cited by
Year
Angelix: Scalable multiline program patch synthesis via symbolic analysis
S Mechtaev, J Yi, A Roychoudhury
Proceedings of the 38th international conference on software engineering …, 2016
2992016
Directfix: Looking for simple program repairs
S Mechtaev, J Yi, A Roychoudhury
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
2222015
Codeflaws: a programming competition benchmark for evaluating automated program repair tools
SH Tan, J Yi, S Mechtaev, A Roychoudhury
2017 IEEE/ACM 39th International Conference on Software Engineering …, 2017
572017
Semantic program repair using a reference implementation
S Mechtaev, MD Nguyen, Y Noller, L Grunske, A Roychoudhury
Proceedings of the 40th International Conference on Software Engineering …, 2018
422018
A correlation study between automated program repair and test-suite metrics
J Yi, SH Tan, S Mechtaev, M Böhme, A Roychoudhury
Empirical Software Engineering 23 (5), 2948-2979, 2018
202018
Symbolic execution with existential second-order constraints
S Mechtaev, A Griggio, A Cimatti, A Roychoudhury
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
162018
Test-equivalence analysis for automatic patch generation
S Mechtaev, X Gao, SH Tan, A Roychoudhury
ACM Transactions on Software Engineering and Methodology (TOSEM) 27 (4), 1-37, 2018
142018
Crash-avoiding program repair
X Gao, S Mechtaev, A Roychoudhury
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
132019
Directfix: Looking for simple program repairs. In 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
S Mechtaev, J Yi, A Roychoudhury
IEEE, 2015
72015
Re-factoring based program repair applied to programming assignments
Y Hu, UZ Ahmed, S Mechtaev, B Leong, A Roychoudhury
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
42019
Efficiently scrapping boilerplate code in OCaml.(September 2011)
D Boulytchev, S Mechtaev
ACM Workshop on ML, 2011
22011
Eliminating boilerplate code in Objective Caml programs
S Mechtaev
System Programming 6 (1), 2011
22011
Semantic Program Repair
M Sergey
PQDT-Global, 2018
12018
Partitioning patches into test-equivalence classes for scaling program repair
S Mechtaev, X Gao, SH Tan, A Roychoudhury
arXiv preprint arXiv:1707.03139, 2017
12017
Angelix: scalable multiline program patch synthesis via symbolic analysis
J Yi, S Mechtaev, A Roychoudhury
IEEE Computer Society, 2016
2016
DirectFix: Looking for simple program repairs
J Yi, S Mechtaev, A Roychoudhury
IEEE Computer Society, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–16