Using formal specifications to support software testing.
Hans-Martin HörcherJan PeleskaPublished in: Softw. Qual. J. (1995)
Keyphrases
- software testing
- formal specification
- test cases
- software development
- software reliability
- software engineering
- software systems
- quality assurance
- fault localization
- test suite
- test data generation
- test case generation
- specification languages
- regression testing
- testing process
- reverse engineering
- test generation
- integration testing
- test data
- model checking
- code coverage
- test set
- object oriented design