Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components
Gaoyan XieZhe DangPublished in: CoRR (2004)
Keyphrases
- black box
- model checking
- black boxes
- temporal logic
- hybrid systems
- white box
- test cases
- automated verification
- integration testing
- formal verification
- computational complexity
- white box testing
- finite state machines
- formal methods
- deterministic finite automaton
- reachability analysis
- reactive systems
- asynchronous circuits
- temporal properties
- software components
- bounded model checking
- epistemic logic
- finite state
- symbolic model checking
- distributed systems
- data model
- learning algorithm
- formal specification