@inproceedings{conf/icst/BorgesdABP12,
  added-at = {2018-11-02T00:00:00.000+0100},
  author = {Borges, Mateus and d'Amorim, Marcelo and Anand, Saswat and Bushnell, David H. and Pasareanu, Corina S.},
  biburl = {https://www.bibsonomy.org/bibtex/20eac13103c1b8be655460720618fd551/dblp},
  booktitle = {ICST},
  crossref = {conf/icst/2012},
  editor = {Antoniol, Giuliano and Bertolino, Antonia and Labiche, Yvan},
  ee = {http://doi.ieeecomputersociety.org/10.1109/ICST.2012.91},
  interhash = {273357238d1fb233a8194198fa392a2a},
  intrahash = {0eac13103c1b8be655460720618fd551},
  isbn = {978-1-4577-1906-6},
  keywords = {dblp},
  pages = {111-120},
  publisher = {IEEE Computer Society},
  timestamp = {2018-11-03T15:35:08.000+0100},
  title = {Symbolic Execution with Interval Solving and Meta-heuristic Search.},
  url = {http://dblp.uni-trier.de/db/conf/icst/icst2012.html#BorgesdABP12},
  year = 2012
}

{"_id":"tdPuT7X5hj8LggDEA","bibbaseid":"borges-damorim-anand-bushnell-pasareanu-symbolicexecutionwithintervalsolvingandmetaheuristicsearch-2012","authorIDs":[],"author_short":["Borges, M.","d'Amorim , M.","Anand, S.","Bushnell, D. H.","Pasareanu, C. S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-11-02T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Borges"],"firstnames":["Mateus"],"suffixes":[]},{"propositions":["d'Amorim"],"lastnames":[],"firstnames":["Marcelo"],"suffixes":[]},{"propositions":[],"lastnames":["Anand"],"firstnames":["Saswat"],"suffixes":[]},{"propositions":[],"lastnames":["Bushnell"],"firstnames":["David","H."],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/20eac13103c1b8be655460720618fd551/dblp","booktitle":"ICST","crossref":"conf/icst/2012","editor":[{"propositions":[],"lastnames":["Antoniol"],"firstnames":["Giuliano"],"suffixes":[]},{"propositions":[],"lastnames":["Bertolino"],"firstnames":["Antonia"],"suffixes":[]},{"propositions":[],"lastnames":["Labiche"],"firstnames":["Yvan"],"suffixes":[]}],"ee":"http://doi.ieeecomputersociety.org/10.1109/ICST.2012.91","interhash":"273357238d1fb233a8194198fa392a2a","intrahash":"0eac13103c1b8be655460720618fd551","isbn":"978-1-4577-1906-6","keywords":"dblp","pages":"111-120","publisher":"IEEE Computer Society","timestamp":"2018-11-03T15:35:08.000+0100","title":"Symbolic Execution with Interval Solving and Meta-heuristic Search.","url":"http://dblp.uni-trier.de/db/conf/icst/icst2012.html#BorgesdABP12","year":"2012","bibtex":"@inproceedings{conf/icst/BorgesdABP12,\n added-at = {2018-11-02T00:00:00.000+0100},\n author = {Borges, Mateus and d'Amorim, Marcelo and Anand, Saswat and Bushnell, David H. and Pasareanu, Corina S.},\n biburl = {https://www.bibsonomy.org/bibtex/20eac13103c1b8be655460720618fd551/dblp},\n booktitle = {ICST},\n crossref = {conf/icst/2012},\n editor = {Antoniol, Giuliano and Bertolino, Antonia and Labiche, Yvan},\n ee = {http://doi.ieeecomputersociety.org/10.1109/ICST.2012.91},\n interhash = {273357238d1fb233a8194198fa392a2a},\n intrahash = {0eac13103c1b8be655460720618fd551},\n isbn = {978-1-4577-1906-6},\n keywords = {dblp},\n pages = {111-120},\n publisher = {IEEE Computer Society},\n timestamp = {2018-11-03T15:35:08.000+0100},\n title = {Symbolic Execution with Interval Solving and Meta-heuristic Search.},\n url = {http://dblp.uni-trier.de/db/conf/icst/icst2012.html#BorgesdABP12},\n year = 2012\n}\n\n","author_short":["Borges, M.","d'Amorim , M.","Anand, S.","Bushnell, D. H.","Pasareanu, C. S."],"editor_short":["Antoniol, G.","Bertolino, A.","Labiche, Y."],"key":"conf/icst/BorgesdABP12","id":"conf/icst/BorgesdABP12","bibbaseid":"borges-damorim-anand-bushnell-pasareanu-symbolicexecutionwithintervalsolvingandmetaheuristicsearch-2012","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/ICST.2012.91","Paper":"http://dblp.uni-trier.de/db/conf/icst/icst2012.html#BorgesdABP12"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.107Z","downloads":0,"keywords":["dblp"],"search_terms":["symbolic","execution","interval","solving","meta","heuristic","search","borges","d'amorim ","anand","bushnell","pasareanu"],"title":"Symbolic Execution with Interval Solving and Meta-heuristic Search.","year":2012,"dataSources":["nk4Sfi2ddzBtdLpRN"]}