BibTeX record conf/sigsoft/BeschastnikhBSSE11

download as .bib file

@inproceedings{DBLP:conf/sigsoft/BeschastnikhBSSE11,
  author    = {Ivan Beschastnikh and
               Yuriy Brun and
               Sigurd Schneider and
               Michael Sloan and
               Michael D. Ernst},
  editor    = {Tibor Gyim{\'{o}}thy and
               Andreas Zeller},
  title     = {Leveraging existing instrumentation to automatically infer invariant-constrained
               models},
  booktitle = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of
               Software Engineering {(FSE-19)} and ESEC'11: 13th European Software
               Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9,
               2011},
  pages     = {267--277},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2025113.2025151},
  doi       = {10.1145/2025113.2025151},
  timestamp = {Tue, 06 Nov 2018 16:59:22 +0100},
  biburl    = {https://dblp.org/rec/conf/sigsoft/BeschastnikhBSSE11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics