Concolic testing for models of state-based systems.
Reza AhmadiJuergen DingelPublished in: ESEC/SIGSOFT FSE (2019)
Keyphrases
- complex systems
- finite state machines
- model selection
- physical systems
- mathematical models
- neural network
- statistical model
- abstraction levels
- trading systems
- computational models
- statistical models
- test set
- building blocks
- knowledge based systems
- management system
- state space
- dynamic constraints
- accurate models
- experimental data
- test suite
- biological systems
- source code
- probabilistic model