Formal Specification Based Software Testing: An Automated Approach.
Mandeep Singh GillRajesh Kumar BhatiaPublished in: Software Engineering Research and Practice (2003)
Keyphrases
- software testing
- formal specification
- specification language
- specification languages
- model checking
- quality assurance
- object oriented design
- test case generation
- control flow
- white box testing
- regression testing
- reverse engineering
- process algebra
- software reliability
- test data generation
- concurrent systems
- integration testing
- data abstraction
- formal methods
- test generation
- testing process
- software components
- artificial intelligence
- cooperative
- production system
- software development
- error rate
- temporal logic
- machine learning
- protocol specification
- database