Static Analysis of Model Transformations for Effective Test Generation
- Authors
- J. Mottu, S. Sen, M. Tisi and J. Cabot
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2012
- Journal
- Proceedings of 2012 IEEE 23rd International Symposium
- Publisher
- IEEE
- Citation key
- 13972