@misc{13416,
  author = {Jean-Marie Mottu and Sagar Sen and Juan Cadavid},
  title = {Discovering Model Transformation Pre-conditions using Automatically Generated Test Models},
  abstract = {Specifying a model transformation is challenging asit must be able to give a meaningful output for any input modelin a possibly infinite modeling domain. Transformation preconditionsconstrain the input domain by rejecting input modelsthat are not meant to be transformed by a model transformation.This paper presents a systematic approach to discover such preconditionswhen it is hard for a human developer to foreseecomplex graphs of objects that are not meant to be transformed.The approach is based on systematically generating a finitenumber of test models using our tool, PRAMANAto first coverthe input domain based on input domain partitioning. Tracing atransformation{\textquoteright}s execution reveals why some pre-conditions aremissing. Using a benchmark transformation from simplified UMLclass diagram models to RDBMS models we discover new preconditionsthat were not initially specified.},
  year = {2015},
  journal = {International Symposium of Software Reliability Engineering. Gaithersburg, USA, November 2-5},
  pages = {88-99},
  doi = {10.1109/ISSRE.2015.7381802},
}