Daniel Jackson, Martin C. Rinard. Software analysis: a roadmap: a roadmap. In ICSE. pages 133-145, 2000. [doi]
@inproceedings{JacksonR00:0, title = {Software analysis: a roadmap: a roadmap}, author = {Daniel Jackson and Martin C. Rinard}, year = {2000}, doi = {10.1145/336512.336545}, url = {http://doi.acm.org/10.1145/336512.336545}, tags = {analysis, C++}, researchr = {https://researchr.org/publication/JacksonR00%3A0}, cites = {0}, citedby = {0}, pages = {133-145}, booktitle = {ICSE}, }