@inproceedings{conf/kbse/OverbeyJ11,
  added-at = {2025-01-19T00:00:00.000+0100},
  author = {Overbey, Jeffrey L. and Johnson, Ralph E.},
  biburl = {https://www.bibsonomy.org/bibtex/2269146ab2cf21645524716df61008a55/dblp},
  booktitle = {ASE},
  crossref = {conf/kbse/2011},
  editor = {Alexander, Perry and Pasareanu, Corina S. and Hosking, John G.},
  ee = {https://www.wikidata.org/entity/Q130971397},
  interhash = {1ae139c61d7d390544bb206740029af5},
  intrahash = {269146ab2cf21645524716df61008a55},
  isbn = {978-1-4577-1638-6},
  keywords = {dblp},
  pages = {303-312},
  publisher = {IEEE Computer Society},
  timestamp = {2025-01-27T10:11:26.000+0100},
  title = {Differential precondition checking: A lightweight, reusable analysis for refactoring tools.},
  url = {http://dblp.uni-trier.de/db/conf/kbse/ase2011.html#OverbeyJ11},
  year = 2011
}

{"_id":"Cq8PTCZuyWZjNDk5s","bibbaseid":"overbey-johnson-differentialpreconditioncheckingalightweightreusableanalysisforrefactoringtools-2011","author_short":["Overbey, J. L.","Johnson, R. E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2025-01-19T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Overbey"],"firstnames":["Jeffrey","L."],"suffixes":[]},{"propositions":[],"lastnames":["Johnson"],"firstnames":["Ralph","E."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2269146ab2cf21645524716df61008a55/dblp","booktitle":"ASE","crossref":"conf/kbse/2011","editor":[{"propositions":[],"lastnames":["Alexander"],"firstnames":["Perry"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]},{"propositions":[],"lastnames":["Hosking"],"firstnames":["John","G."],"suffixes":[]}],"ee":"https://www.wikidata.org/entity/Q130971397","interhash":"1ae139c61d7d390544bb206740029af5","intrahash":"269146ab2cf21645524716df61008a55","isbn":"978-1-4577-1638-6","keywords":"dblp","pages":"303-312","publisher":"IEEE Computer Society","timestamp":"2025-01-27T10:11:26.000+0100","title":"Differential precondition checking: A lightweight, reusable analysis for refactoring tools.","url":"http://dblp.uni-trier.de/db/conf/kbse/ase2011.html#OverbeyJ11","year":"2011","bibtex":"@inproceedings{conf/kbse/OverbeyJ11,\n added-at = {2025-01-19T00:00:00.000+0100},\n author = {Overbey, Jeffrey L. and Johnson, Ralph E.},\n biburl = {https://www.bibsonomy.org/bibtex/2269146ab2cf21645524716df61008a55/dblp},\n booktitle = {ASE},\n crossref = {conf/kbse/2011},\n editor = {Alexander, Perry and Pasareanu, Corina S. and Hosking, John G.},\n ee = {https://www.wikidata.org/entity/Q130971397},\n interhash = {1ae139c61d7d390544bb206740029af5},\n intrahash = {269146ab2cf21645524716df61008a55},\n isbn = {978-1-4577-1638-6},\n keywords = {dblp},\n pages = {303-312},\n publisher = {IEEE Computer Society},\n timestamp = {2025-01-27T10:11:26.000+0100},\n title = {Differential precondition checking: A lightweight, reusable analysis for refactoring tools.},\n url = {http://dblp.uni-trier.de/db/conf/kbse/ase2011.html#OverbeyJ11},\n year = 2011\n}\n\n","author_short":["Overbey, J. L.","Johnson, R. E."],"editor_short":["Alexander, P.","Pasareanu, C. S.","Hosking, J. G."],"key":"conf/kbse/OverbeyJ11","id":"conf/kbse/OverbeyJ11","bibbaseid":"overbey-johnson-differentialpreconditioncheckingalightweightreusableanalysisforrefactoringtools-2011","role":"author","urls":{"Link":"https://www.wikidata.org/entity/Q130971397","Paper":"http://dblp.uni-trier.de/db/conf/kbse/ase2011.html#OverbeyJ11"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/ Johnson, E?items=1000","dataSources":["sDsv5AqeSdd6AEjcq"],"keywords":["dblp"],"search_terms":["differential","precondition","checking","lightweight","reusable","analysis","refactoring","tools","overbey","johnson"],"title":"Differential precondition checking: A lightweight, reusable analysis for refactoring tools.","year":2011}