@inproceedings{DBLP:conf/kbse/NguyenDV17,
  author       = {ThanhVu Nguyen and
                  Matthew B. Dwyer and
                  Willem Visser},
  editor       = {Grigore Rosu and
                  Massimiliano Di Penta and
                  Tien N. Nguyen},
  title        = {SymInfer: inferring program invariants using symbolic states},
  booktitle    = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
                  Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
                  03, 2017},
  pages        = {804--814},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ASE.2017.8115691},
  doi          = {10.1109/ASE.2017.8115691},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/NguyenDV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"oyGJJjSHttnuNg58Y","bibbaseid":"nguyen-dwyer-visser-syminferinferringprograminvariantsusingsymbolicstates-2017","downloads":0,"creationDate":"2017-10-28T07:45:41.382Z","title":"SymInfer: inferring program invariants using symbolic states","author_short":["Nguyen, T.","Dwyer, M. B.","Visser, W."],"year":2017,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/19/7057.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["ThanhVu"],"propositions":[],"lastnames":["Nguyen"],"suffixes":[]},{"firstnames":["Matthew","B."],"propositions":[],"lastnames":["Dwyer"],"suffixes":[]},{"firstnames":["Willem"],"propositions":[],"lastnames":["Visser"],"suffixes":[]}],"editor":[{"firstnames":["Grigore"],"propositions":[],"lastnames":["Rosu"],"suffixes":[]},{"firstnames":["Massimiliano","Di"],"propositions":[],"lastnames":["Penta"],"suffixes":[]},{"firstnames":["Tien","N."],"propositions":[],"lastnames":["Nguyen"],"suffixes":[]}],"title":"SymInfer: inferring program invariants using symbolic states","booktitle":"Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017","pages":"804–814","publisher":"IEEE Computer Society","year":"2017","url":"https://doi.org/10.1109/ASE.2017.8115691","doi":"10.1109/ASE.2017.8115691","timestamp":"Fri, 24 Mar 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/kbse/NguyenDV17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/kbse/NguyenDV17,\n author = {ThanhVu Nguyen and\n Matthew B. Dwyer and\n Willem Visser},\n editor = {Grigore Rosu and\n Massimiliano Di Penta and\n Tien N. Nguyen},\n title = {SymInfer: inferring program invariants using symbolic states},\n booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated\n Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November\n 03, 2017},\n pages = {804--814},\n publisher = {{IEEE} Computer Society},\n year = {2017},\n url = {https://doi.org/10.1109/ASE.2017.8115691},\n doi = {10.1109/ASE.2017.8115691},\n timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/kbse/NguyenDV17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Nguyen, T.","Dwyer, M. B.","Visser, W."],"editor_short":["Rosu, G.","Penta, M. D.","Nguyen, T. N."],"key":"DBLP:conf/kbse/NguyenDV17","id":"DBLP:conf/kbse/NguyenDV17","bibbaseid":"nguyen-dwyer-visser-syminferinferringprograminvariantsusingsymbolicstates-2017","role":"author","urls":{"Paper":"https://doi.org/10.1109/ASE.2017.8115691"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["syminfer","inferring","program","invariants","using","symbolic","states","nguyen","dwyer","visser"],"keywords":[],"authorIDs":["545748b32abc8e9f3700025d"],"dataSources":["AAQcbSuJRTAKBGbG3","6FgAQaDTPq3SK739Y"]}