Colored Petri Nets State-Space Reduction via Symbolic Execution.
Lorenzo CapraPublished in: SYNASC (2005)
Keyphrases
- symbolic execution
- state space
- colored petri nets
- petri net
- static analysis
- test data generation
- test generation
- specification language
- source code
- reinforcement learning
- data flow
- heuristic search
- dynamic programming
- orders of magnitude
- search space
- data sets
- test cases
- planning problems
- web services
- pattern matching