Testing Against Formal Specifications: A Theoretical View.
Gilles BernotPublished in: TAPSOFT, Vol.2 (1991)
Keyphrases
- formal specification
- software testing
- object oriented design
- model checking
- specification language
- specification languages
- process algebra
- concurrent systems
- test cases
- business rules
- database
- reverse engineering
- software components
- software development
- design methodology
- formal methods
- temporal logic
- general purpose
- cooperative