Simplifying Translation Validation via Model Extrapolation
Falk Maria Howar, Tiziana Margaria, Christian Wagner · Journal of Integrated Design and Process Science · 2013
We revisit our case study on the NASA's Voyager space mission to automatically discover its behaviour by means of model transformation and automata learning. We investigate the conformance of three structurally different types of specification of the