Jan Ladleif

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Model transformations used in model-driven software development need to be semantics-preserving, i.e., the meaning of a model must not be distorted by the transformation. Testing whether a transformation preserves the dynamic semantics of a model requires oracles such as model checkers, which explore the runtime statespace of models. The high amount of(More)
  • 1