Static Analysis of Model Transformations for Effective Test Generation

Jean-Marie Mottu, Sagar Sen, Massimo Tisi, Jordi Cabot. Static Analysis of Model Transformations for Effective Test Generation. In 23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, 2012. pages 291-300, IEEE, 2012. [doi]

Abstract

Abstract is missing.