Optimizing the Symbolic Execution of Communicating and Evolving State Machines.
Amal KhalilPublished in: MoDELS (Doctoral Symposium) (2015)
Keyphrases
- state machines
- symbolic execution
- state machine
- test data generation
- static analysis
- test generation
- petri net
- source code
- specification language
- data flow
- recurrent networks
- sequence diagrams
- simulated annealing algorithm
- genetic programming
- finite state machines
- formal specification
- description language
- artificial intelligence
- reactive systems
- open source
- programming language