Probe: a formal specification-based testing system.
Ahmed Al-AmayrehAbdullah Mohd ZinPublished in: ICIS (1999)
Keyphrases
- formal specification
- model checking
- specification languages
- software testing
- specification language
- object oriented design
- process algebra
- data abstraction
- code generation
- formal methods
- concurrent systems
- test cases
- reverse engineering
- software components
- information systems
- model checker
- formal verification
- machine learning
- test suite
- programming language
- relational databases
- information technology
- expert systems
- knowledge base