MDebugger: a model-level debugger for UML-RT.

Mojtaba Bagherzadeh Nicolas Hili David Seekatz Juergen Dingel

Published in: ICSE (Companion Volume) (2018)

Keyphrases

computational model
metamodel
formal model
mathematical model
state machine
objective function
prior knowledge
probabilistic model