Combining unit-level symbolic execution and system-level concrete execution for testing nasa software
-
- Corina S. Pǎsǎreanu
- NASA Ames Research Center, Moffett Field, CA, USA
-
- Peter C. Mehlitz
- NASA Ames research Center, Moffett Field, CA, USA
-
- David H. Bushnell
- NASA Ames Research Center, Moffett Field, CA, USA
-
- Karen Gundy-Burlet
- NASA Ames Research Center, Moffett Field, CA, USA
-
- Michael Lowry
- NASA Ames Research Center, Moffett Field, CA, USA
-
- Suzette Person
- University of Nebraska, Lincoln, NE, USA
-
- Mark Pape
- NASA Johnson Space Center, Houston, TX, USA
書誌事項
- 公開日
- 2008-07-20
- 権利情報
-
- https://www.acm.org/publications/policies/copyright_policy#Background
- DOI
-
- 10.1145/1390630.1390635
- 公開者
- ACM
収録刊行物
-
- Proceedings of the 2008 international symposium on Software testing and analysis
-
Proceedings of the 2008 international symposium on Software testing and analysis 15-26, 2008-07-20
ACM