@inproceedings{DBLP:conf/icse/JacksonR00,
  author    = {Daniel Jackson and
               Martin C. Rinard},
  title     = {Software analysis: a roadmap},
  booktitle = {22nd International Conference on on Software Engineering,
               Future of Software Engineering Track, ICSE 2000, Limerick
               Ireland, June 4-11, 2000},
  year      = {2000},
  pages     = {133-145},
url_paper={pubs/2000/analysis-roadmap.pdf}
}

{"_id":"WDqE5zhPkDzYBehXy","bibbaseid":"jackson-rinard-softwareanalysisaroadmap-2000","author_short":["Jackson, D.","Rinard, M. C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Daniel"],"propositions":[],"lastnames":["Jackson"],"suffixes":[]},{"firstnames":["Martin","C."],"propositions":[],"lastnames":["Rinard"],"suffixes":[]}],"title":"Software analysis: a roadmap","booktitle":"22nd International Conference on on Software Engineering, Future of Software Engineering Track, ICSE 2000, Limerick Ireland, June 4-11, 2000","year":"2000","pages":"133-145","url_paper":"pubs/2000/analysis-roadmap.pdf","bibtex":"@inproceedings{DBLP:conf/icse/JacksonR00,\n author = {Daniel Jackson and\n Martin C. Rinard},\n title = {Software analysis: a roadmap},\n booktitle = {22nd International Conference on on Software Engineering,\n Future of Software Engineering Track, ICSE 2000, Limerick\n Ireland, June 4-11, 2000},\n year = {2000},\n pages = {133-145},\nurl_paper={pubs/2000/analysis-roadmap.pdf}\n}\n\n","author_short":["Jackson, D.","Rinard, M. C."],"key":"DBLP:conf/icse/JacksonR00","id":"DBLP:conf/icse/JacksonR00","bibbaseid":"jackson-rinard-softwareanalysisaroadmap-2000","role":"author","urls":{" paper":"https://groups-csail-mit-edu.ezproxy.canberra.edu.au/sdg/pubs/2000/analysis-roadmap.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://groups-csail-mit-edu.ezproxy.canberra.edu.au/sdg/sdgpub.bib","dataSources":["t9Kc2YBfktMvKserb","MautteQst6amcB23d"],"keywords":[],"search_terms":["software","analysis","roadmap","jackson","rinard"],"title":"Software analysis: a roadmap","year":2000}