@article{ dblp3678180,
  title = {Collecting Statistics Over Runtime Executions},
  author = {Bernd Finkbeiner and Sriram Sankaranarayanan and Henny Sipma},
  author_short = {Finkbeiner, B. and Sankaranarayanan, S. and Sipma, H.},
  bibtype = {article},
  type = {article},
  year = {2005},
  key = {dblp3678180},
  id = {dblp3678180},
  biburl = {http://www.dblp.org/rec/bibtex/journals/fmsd/FinkbeinerSS05},
  url = {http://dx.doi.org/10.1007/s10703-005-3399-3},
  journal = {Formal Methods in System Design (FMSD)},
  pages = {253-274},
  number = {3},
  volume = {27},
  text = {Formal Methods in System Design (FMSD) 27(3):253-274 (2005)}
}

{"_id":"Re6WF4Jq9wvdY9aoY","bibbaseid":"finkbeiner-sankaranarayanan-sipma-collectingstatisticsoverruntimeexecutions-2005","downloads":0,"creationDate":"2015-10-19T18:43:42.445Z","title":"Collecting Statistics Over Runtime Executions","author_short":["Finkbeiner, B.","Sankaranarayanan, S.","Sipma, H."],"year":2005,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/fmsd/FinkbeinerSS05","bibdata":{"title":"Collecting Statistics Over Runtime Executions","author":["Bernd Finkbeiner","Sriram Sankaranarayanan","Henny Sipma"],"author_short":["Finkbeiner, B.","Sankaranarayanan, S.","Sipma, H."],"bibtype":"article","type":"article","year":"2005","key":"dblp3678180","id":"dblp3678180","biburl":"http://www.dblp.org/rec/bibtex/journals/fmsd/FinkbeinerSS05","url":"http://dx.doi.org/10.1007/s10703-005-3399-3","journal":"Formal Methods in System Design (FMSD)","pages":"253-274","number":"3","volume":"27","text":"Formal Methods in System Design (FMSD) 27(3):253-274 (2005)","bibtex":"@article{ dblp3678180,\n title = {Collecting Statistics Over Runtime Executions},\n author = {Bernd Finkbeiner and Sriram Sankaranarayanan and Henny Sipma},\n author_short = {Finkbeiner, B. and Sankaranarayanan, S. and Sipma, H.},\n bibtype = {article},\n type = {article},\n year = {2005},\n key = {dblp3678180},\n id = {dblp3678180},\n biburl = {http://www.dblp.org/rec/bibtex/journals/fmsd/FinkbeinerSS05},\n url = {http://dx.doi.org/10.1007/s10703-005-3399-3},\n journal = {Formal Methods in System Design (FMSD)},\n pages = {253-274},\n number = {3},\n volume = {27},\n text = {Formal Methods in System Design (FMSD) 27(3):253-274 (2005)}\n}","bibbaseid":"finkbeiner-sankaranarayanan-sipma-collectingstatisticsoverruntimeexecutions-2005","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s10703-005-3399-3"},"downloads":0},"search_terms":["collecting","statistics","over","runtime","executions","finkbeiner","sankaranarayanan","sipma"],"keywords":[],"authorIDs":[],"dataSources":["wyWHwcbBFBAhqtwcs"]}