From scripts to specifications: the evolution of a flight software testing effort.
Alex GroceKlaus HavelundMargaret H. SmithPublished in: ICSE (2) (2010)
Keyphrases
- software testing
- control flow
- unit testing
- test cases
- testing process
- formal specification
- software development
- quality assurance
- software systems
- test case generation
- software reliability
- test data generation
- integration testing
- fault localization
- software engineering
- test generation
- regression testing
- test suite
- high level
- labor intensive
- learning algorithm
- black box
- data sets
- code coverage