Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
Angelix: scalable multiline program patch synthesis via symbolic analysis
ICSE, 2016.
@inproceedings{ICSE-2016-MechtaevYR,
author = "Sergey Mechtaev and Jooyong Yi and Abhik Roychoudhury",
booktitle = "{Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016}",
doi = "10.1145/2884781.2884807",
ee = "http://ieeexplore.ieee.org/document/7886945/",
isbn = "978-1-4503-3900-1",
pages = "691--701",
publisher = "{ACM}",
title = "{Angelix: scalable multiline program patch synthesis via symbolic analysis}",
year = 2016,
}
Tags: