Combining unit-level symbolic execution and system-level concrete execution for testing nasa software

@inproceedings{Pasareanu2008CombiningUS,
  title={Combining unit-level symbolic execution and system-level concrete execution for testing nasa software},
  author={C. Pasareanu and P. Mehlitz and David H. Bushnell and K. Gundy-Burlet and M. Lowry and S. Person and Mark Pape},
  booktitle={ISSTA '08},
  year={2008}
}
We describe an approach to testing complex safety critical software that combines unit-level symbolic execution and system-level concrete execution for generating test cases that satisfy user-specified testing criteria. [...] Key Method The framework propagates the symbolic information via attributes associated with the program data.Expand
Test Case Generation Using Model Checking for Software Components Deployed into New  Environments
Runtime Exception Detection in Java Programs Using Symbolic Execution
13th Symposium on Programming Languages and Software Tools
On test repair using symbolic execution
Symbolic execution for software testing in practice: preliminary assessment
Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution
Symbolic Execution Enhanced System Testing
Precise Concolic Unit Testing of C Programs Using Extended Units and Symbolic Alarm Filtering
...
1
2
3
4
5
...

References

SHOWING 1-5 OF 5 REFERENCES
Type-Dependence Analysis and Program Transformation for Symbolic Execution
DART: Directed Automated Random Testing
  • Koushik Sen
  • Computer Science
  • Haifa Verification Conference
  • 2009
Extended static checking
Data Mining for Very Busy People