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
3852016
Directfix: Looking for simple program repairs
S Mechtaev, J Yi, A Roychoudhury
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
2612015
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
862017
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
602018
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
302018
Crash-avoiding program repair
X Gao, S Mechtaev, A Roychoudhury
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
272019
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
242018
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
202018
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
142019
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
82015
Evaluating Automatic Program Repair Capabilities to Repair API Misuses
M Kechagia, S Mechtaev, F Sarro, M Harman
IEEE Transactions on Software Engineering, 2021
52021
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
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
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
2020
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
Semantic Program Repair
M Sergey
PQDT-Global, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20