M. Amrani, L. Lucio, G. Selim, B. Combemale, J. Dingel et al., A Tridimensional Approach for Studying the Formal Verification of Model Transformations, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp.921-928, 2012.
DOI : 10.1109/ICST.2012.197
URL : https://hal.archives-ouvertes.fr/hal-00684717

B. Baudry, S. Ghosh, F. Fleurey, R. France, Y. Le-traon et al., Barriers to systematic model transformation testing, Communications of the ACM, vol.53, issue.6, pp.139-143, 2010.
DOI : 10.1145/1743546.1743583
URL : https://hal.archives-ouvertes.fr/inria-00542747

F. Bobot, J. C. Filliâtre, C. Marché, G. Melquiond, and A. Paskevich, Preserving User Proofs across Specification Changes, 5th International Conference on Verified Software: Theories, Tools, pp.191-201, 2014.
DOI : 10.1007/978-3-642-54108-7_10
URL : https://hal.archives-ouvertes.fr/hal-00875395

F. Büttner, M. Egea, and J. Cabot, On Verifying ATL Transformations Using ???off-the-shelf??? SMT Solvers, 15th International Conference on Model Driven Engineering Languages and Systems, pp.198-213, 2012.
DOI : 10.1007/978-3-642-33666-9_28

D. Calegari and N. Szasz, Verification of Model Transformations, Electronic Notes in Theoretical Computer Science, vol.292, issue.0, pp.5-25, 2013.
DOI : 10.1016/j.entcs.2013.02.002

Z. Cheng, R. Monahan, and J. F. Power, A Sound Execution Semantics for ATL via Translation Validation, 8th International Conference on Model Transformation, pp.133-148, 2015.
DOI : 10.1007/978-3-319-21155-8_11

Z. Cheng and M. Tisi, Automatic fault localization for relational model transformation using deductive verification, 27th International Symposium on Software Reliability Engineering. p. (Under review, 2016.

Z. Cheng and M. Tisi, Automatic fault localization for relational model transformation using deductive verification [online]. available: https://github, 2016.

F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev, ATL: A model transformation tool, Science of Computer Programming, vol.72, issue.1-2, pp.31-39, 2008.
DOI : 10.1016/j.scico.2007.08.002
URL : https://hal.archives-ouvertes.fr/hal-00483363

K. R. Leino and V. Wüstholz, Fine-Grained Caching of Verification Results, 27th International Conference on Computer Aided Verification, pp.380-397, 2015.
DOI : 10.1007/978-3-319-21690-4_22

F. Logozzo, S. K. Lahiri, M. Fähndrich, and S. Blackshear, Verification modulo versions: Towards usable verification, Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.294-304, 2014.
DOI : 10.1145/2666356.2594326

D. Miller and E. Pimentel, A formal framework for specifying sequent calculus proof systems, Theoretical Computer Science, vol.474, pp.98-116, 2013.
DOI : 10.1016/j.tcs.2012.12.008
URL : https://hal.archives-ouvertes.fr/hal-00787586

K. Mu¸slumu¸slu, Y. Brun, M. D. Ernst, and D. Notkin, Reducing Feedback Delay of Software Development Tools via Continuous Analysis, IEEE Transactions on Software Engineering, vol.41, issue.8, pp.745-763, 2015.
DOI : 10.1109/TSE.2015.2417161