Automated Evaluation of Runtime Object States against Model-Level States for State-Based Test Execution.
Weifeng XuDianxiang XuPublished in: ICST Workshops (2009)
Keyphrases
- state variables
- state transitions
- probabilistic model
- finite state machines
- mathematical model
- statistical model
- conceptual model
- test data
- state information
- state transition
- transition probabilities
- three dimensional
- experimental data
- computational model
- high level
- formal model
- evaluation model
- decision theoretic
- em algorithm
- d objects
- moving objects