@article{ dblp2070410,
  title = {Property-driven benchmark generation: synthesizing programs of realistic structure},
  author = {Bernhard Steffen and Malte Isberner and Stefan Naujokat and Tiziana Margaria and Maren Geske},
  author_short = {Steffen, B. and Isberner, M. and Naujokat, S. and Margaria, T. and Geske, M.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp2070410},
  id = {dblp2070410},
  biburl = {http://www.dblp.org/rec/bibtex/journals/sttt/SteffenINMG14},
  url = {http://dx.doi.org/10.1007/s10009-014-0336-z},
  journal = {STTT},
  pages = {465-479},
  number = {5},
  volume = {16},
  text = {STTT 16(5):465-479 (2014)}
}

{"_id":"FFiwawfyw3G4PbbvP","bibbaseid":"steffen-isberner-naujokat-margaria-geske-propertydrivenbenchmarkgenerationsynthesizingprogramsofrealisticstructure-2014","downloads":0,"creationDate":"2015-12-04T23:16:18.956Z","title":"Property-driven benchmark generation: synthesizing programs of realistic structure","author_short":["Steffen, B.","Isberner, M.","Naujokat, S.","Margaria, T.","Geske, M."],"year":2014,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/sttt/SteffenINMG14","bibdata":{"title":"Property-driven benchmark generation: synthesizing programs of realistic structure","author":["Bernhard Steffen","Malte Isberner","Stefan Naujokat","Tiziana Margaria","Maren Geske"],"author_short":["Steffen, B.","Isberner, M.","Naujokat, S.","Margaria, T.","Geske, M."],"bibtype":"article","type":"article","year":"2014","key":"dblp2070410","id":"dblp2070410","biburl":"http://www.dblp.org/rec/bibtex/journals/sttt/SteffenINMG14","url":"http://dx.doi.org/10.1007/s10009-014-0336-z","journal":"STTT","pages":"465-479","number":"5","volume":"16","text":"STTT 16(5):465-479 (2014)","bibtex":"@article{ dblp2070410,\n title = {Property-driven benchmark generation: synthesizing programs of realistic structure},\n author = {Bernhard Steffen and Malte Isberner and Stefan Naujokat and Tiziana Margaria and Maren Geske},\n author_short = {Steffen, B. and Isberner, M. and Naujokat, S. and Margaria, T. and Geske, M.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp2070410},\n id = {dblp2070410},\n biburl = {http://www.dblp.org/rec/bibtex/journals/sttt/SteffenINMG14},\n url = {http://dx.doi.org/10.1007/s10009-014-0336-z},\n journal = {STTT},\n pages = {465-479},\n number = {5},\n volume = {16},\n text = {STTT 16(5):465-479 (2014)}\n}","bibbaseid":"steffen-isberner-naujokat-margaria-geske-propertydrivenbenchmarkgenerationsynthesizingprogramsofrealisticstructure-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s10009-014-0336-z"},"downloads":0},"search_terms":["property","driven","benchmark","generation","synthesizing","programs","realistic","structure","steffen","isberner","naujokat","margaria","geske"],"keywords":[],"authorIDs":[],"dataSources":["efsGNvk3KhftzEAMH"]}