Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. Pasareanu, C. S., Mehlitz, P. C., Bushnell, D. H., Gundy-Burlet, K., Lowry, M. R., Person, S., & Pape, M. In Ryder, B. G. & Zeller, A., editors, ISSTA, pages 15-26, 2008. ACM.
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. [link]Link  Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. [link]Paper  bibtex   
@inproceedings{conf/issta/PasareanuMBGLPP08,
  added-at = {2018-11-06T00:00:00.000+0100},
  author = {Pasareanu, Corina S. and Mehlitz, Peter C. and Bushnell, David H. and Gundy-Burlet, Karen and Lowry, Michael R. and Person, Suzette and Pape, Mark},
  biburl = {https://www.bibsonomy.org/bibtex/2bdcad7dd195d979cfc37aac4e893cad5/dblp},
  booktitle = {ISSTA},
  crossref = {conf/issta/2008},
  editor = {Ryder, Barbara G. and Zeller, Andreas},
  ee = {https://doi.org/10.1145/1390630.1390635},
  interhash = {c6d6dc94134db2ff1f9df210c9bbabe3},
  intrahash = {bdcad7dd195d979cfc37aac4e893cad5},
  isbn = {978-1-60558-050-0},
  keywords = {dblp},
  pages = {15-26},
  publisher = {ACM},
  timestamp = {2018-11-07T13:03:10.000+0100},
  title = {Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.},
  url = {http://dblp.uni-trier.de/db/conf/issta/issta2008.html#PasareanuMBGLPP08},
  year = 2008
}

Downloads: 0