BibTeX record conf/issta/PasareanuMBGLPP08

download as .bib file

@inproceedings{DBLP:conf/issta/PasareanuMBGLPP08,
  author    = {Corina S. Pasareanu and
               Peter C. Mehlitz and
               David H. Bushnell and
               Karen Gundy{-}Burlet and
               Michael R. Lowry and
               Suzette Person and
               Mark Pape},
  editor    = {Barbara G. Ryder and
               Andreas Zeller},
  title     = {Combining unit-level symbolic execution and system-level concrete
               execution for testing {NASA} software},
  booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
               Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
               2008},
  pages     = {15--26},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1390630.1390635},
  doi       = {10.1145/1390630.1390635},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/PasareanuMBGLPP08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics