Debugging Statecharts Via Model-Code Traceability.

Liang Guo Abhik Roychoudhury

Published in: ISoLA (2008)

Keyphrases

computational model
probabilistic model
theoretical framework
experimental data
case study
objective function
prediction model
neural network
knowledge base
high level
cost function
probability distribution
theoretical analysis