@inproceedings{DBLP:conf/icse/NguyenKWF14,
  author       = {ThanhVu Nguyen and
                  Deepak Kapur and
                  Westley Weimer and
                  Stephanie Forrest},
  editor       = {Pankaj Jalote and
                  Lionel C. Briand and
                  Andr{\'{e}} van der Hoek},
  title        = {Using dynamic analysis to generate disjunctive invariants},
  booktitle    = {36th International Conference on Software Engineering, {ICSE} '14,
                  Hyderabad, India - May 31 - June 07, 2014},
  pages        = {608--619},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2568225.2568275},
  doi          = {10.1145/2568225.2568275},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/NguyenKWF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":{"_str":"5345701f67062a5e680001e0"},"__v":1,"authorIDs":["545748b32abc8e9f3700025d"],"author_short":["Nguyen, T.","Kapur, D.","Weimer, W.","Forrest, S."],"bibbaseid":"nguyen-kapur-weimer-forrest-usingdynamicanalysistogeneratedisjunctiveinvariants-2014","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["ThanhVu"],"propositions":[],"lastnames":["Nguyen"],"suffixes":[]},{"firstnames":["Deepak"],"propositions":[],"lastnames":["Kapur"],"suffixes":[]},{"firstnames":["Westley"],"propositions":[],"lastnames":["Weimer"],"suffixes":[]},{"firstnames":["Stephanie"],"propositions":[],"lastnames":["Forrest"],"suffixes":[]}],"editor":[{"firstnames":["Pankaj"],"propositions":[],"lastnames":["Jalote"],"suffixes":[]},{"firstnames":["Lionel","C."],"propositions":[],"lastnames":["Briand"],"suffixes":[]},{"firstnames":["André"],"propositions":["van","der"],"lastnames":["Hoek"],"suffixes":[]}],"title":"Using dynamic analysis to generate disjunctive invariants","booktitle":"36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014","pages":"608–619","publisher":"ACM","year":"2014","url":"https://doi.org/10.1145/2568225.2568275","doi":"10.1145/2568225.2568275","timestamp":"Tue, 21 Mar 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/icse/NguyenKWF14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icse/NguyenKWF14,\n author = {ThanhVu Nguyen and\n Deepak Kapur and\n Westley Weimer and\n Stephanie Forrest},\n editor = {Pankaj Jalote and\n Lionel C. Briand and\n Andr{\\'{e}} van der Hoek},\n title = {Using dynamic analysis to generate disjunctive invariants},\n booktitle = {36th International Conference on Software Engineering, {ICSE} '14,\n Hyderabad, India - May 31 - June 07, 2014},\n pages = {608--619},\n publisher = {{ACM}},\n year = {2014},\n url = {https://doi.org/10.1145/2568225.2568275},\n doi = {10.1145/2568225.2568275},\n timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/icse/NguyenKWF14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Nguyen, T.","Kapur, D.","Weimer, W.","Forrest, S."],"editor_short":["Jalote, P.","Briand, L. C.","van der Hoek, A."],"key":"DBLP:conf/icse/NguyenKWF14","id":"DBLP:conf/icse/NguyenKWF14","bibbaseid":"nguyen-kapur-weimer-forrest-usingdynamicanalysistogeneratedisjunctiveinvariants-2014","role":"author","urls":{"Paper":"https://doi.org/10.1145/2568225.2568275"},"metadata":{"authorlinks":{}},"downloads":24,"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/19/7057.bib","downloads":24,"keywords":[],"search_terms":["using","dynamic","analysis","generate","disjunctive","invariants","nguyen","kapur","weimer","forrest"],"title":"Using dynamic analysis to generate disjunctive invariants","year":2014,"dataSources":["AAQcbSuJRTAKBGbG3","6FgAQaDTPq3SK739Y"]}