Chapter Four - Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts.

Amal Khalil Juergen Dingel

Published in: Adv. Comput. (2018)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
test cases
specification language
source code
case study
software testing
data flow
neural network
artificial intelligence
metadata
business processes
quality assurance
simulated annealing algorithm