An Approach to Testing the Nonexistence of Initial State in Z Specifications.
Huaikou MiaoXiaolei GaoLing LiuPublished in: Asian Test Symposium (1999)
Keyphrases
- initial state
- situation calculus
- state space
- stationary distribution
- goal state
- action theories
- belief space
- optimal policy
- markov decision process
- probability distribution
- machine learning
- conformant planning
- specification language
- test cases
- special case
- data mining
- modal logic
- formal verification
- dynamic programming
- unit testing