Wei Le, Shannon D. Pattison. Patch verification via multiversion interprocedural control flow graphs. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014. pages 1047-1058, ACM, 2014. [doi]
@inproceedings{LeP14-0,
title = {Patch verification via multiversion interprocedural control flow graphs},
author = {Wei Le and Shannon D. Pattison},
year = {2014},
doi = {10.1145/2568225.2568304},
url = {http://doi.acm.org/10.1145/2568225.2568304},
researchr = {https://researchr.org/publication/LeP14-0},
cites = {0},
citedby = {0},
pages = {1047-1058},
booktitle = {36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014},
editor = {Pankaj Jalote and Lionel C. Briand and André van der Hoek},
publisher = {ACM},
isbn = {978-1-4503-2756-5},
}