Efficient probabilistic testing of model transformations using search.
Louis M. RoseSimon M. PouldingPublished in: CMSBSE@ICSE (2013)
Keyphrases
- probabilistic model
- search algorithm
- computational model
- high level
- bayesian networks
- search strategy
- theoretical analysis
- experimental data
- efficient search
- data sets
- formal model
- search strategies
- conceptual model
- heuristic search
- mathematical model
- evolutionary algorithm
- objective function
- image sequences
- metadata