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
4392016
Directfix: Looking for simple program repairs
S Mechtaev, J Yi, A Roychoudhury
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
2772015
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
1002017
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
432018
Crash-avoiding program repair
X Gao, S Mechtaev, A Roychoudhury
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
402019
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
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
272018
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
262019
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
112015
Evaluating automatic program repair capabilities to repair API misuses
M Kechagia, S Mechtaev, F Sarro, M Harman
IEEE Transactions on Software Engineering, 2021
72021
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
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
12020
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
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
Fair Decision Making via Automated Repair of Decision Trees
J Zhang, I Beschastnikh, S Mechtaev, A Roychoudhury, N Parasaram, ...
2018
The system can't perform the operation now. Try again later.
Articles 1–20