Matthew Naylor, Colin Runciman. Finding Inputs that Reach a Target Expression. In Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30 - October 1, 2007, Paris, France. pages 133-142, IEEE, 2007. [doi]
@inproceedings{NaylorR07:0,
title = {Finding Inputs that Reach a Target Expression},
author = {Matthew Naylor and Colin Runciman},
year = {2007},
doi = {10.1109/SCAM.2007.30},
url = {http://dx.doi.org/10.1109/SCAM.2007.30},
researchr = {https://researchr.org/publication/NaylorR07%3A0},
cites = {0},
citedby = {0},
pages = {133-142},
booktitle = {Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30 - October 1, 2007, Paris, France},
publisher = {IEEE},
}