Follow
Sergey Mechtaev
Sergey Mechtaev
Lecturer of Software Engineering, University College London
Verified email at ucl.ac.uk - Homepage
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
4552016
Directfix: Looking for simple program repairs
S Mechtaev, J Yi, A Roychoudhury
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
2842015
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
1032017
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
732018
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
452018
Crash-avoiding program repair
X Gao, S Mechtaev, A Roychoudhury
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
422019
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
312019
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
302018
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
282018
Evaluating automatic program repair capabilities to repair API misuses
M Kechagia, S Mechtaev, F Sarro, M Harman
IEEE Transactions on Software Engineering, 2021
122021
Directfix: Looking for simple program repairs. In 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
S Mechtaev, J Yi, A Roychoudhury
IEEE, may, 21, 2015
122015
Fairness-guided SMT-based Rectification of Decision Trees and Random Forests
J Zhang, I Beschastnikh, S Mechtaev, A Roychoudhury
arXiv preprint arXiv:2011.11001, 2020
22020
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
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
Message from the APR 2022 Chairs
M Kechagia, SH Tan, S Mechtaev, L Tan
2022
Trident: Controlling Side Effects in Automated Program Repair
N Parasaram, ET Barr, S Mechtaev
IEEE Transactions on Software Engineering, 2021
2021
Foreword: APR 2021
SH Tan, S Mechtaev, L Zhang, M Monperrus
Proceedings-2021 IEEE/ACM International Workshop on Automated Program Repair …, 2021
2021
Recent years have witnessed an explosive growth of works on automated program repair in various scientific communities including software engineering, programming languages and …
SH Tan, S Mechtaev, L Zhang, M Monperrus
2021
PROCEEDINGS-2019 34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2019
D Sondhi, R Purandare, D Stepanov, M Akhin, M Belyaev, H Zhang, ...
2019
The system can't perform the operation now. Try again later.
Articles 1–20