Formal Specifications and Software Testing, a Fruitful Convergence.
Marie-Claude GaudelPublished in: FM Workshops (2) (2019)
Keyphrases
- software testing
- formal specification
- test cases
- quality assurance
- object oriented design
- model checking
- fault localization
- software reliability
- software development
- test case generation
- specification languages
- software systems
- regression testing
- software engineering
- white box testing
- test data generation
- formal methods
- convergence rate
- integration testing
- test generation
- testing process
- reverse engineering
- business rules
- concurrent systems
- knowledge based systems
- model based testing
- information technology
- number of test cases