Faiez Zalila, Xavier Crégut, Marc Pantel. A Transformation-Driven Approach to Automate Feedback Verification Results. In Alfredo Cuzzocrea, Sofian Maabout, editors, Model and Data Engineering - Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings. Volume 8216 of Lecture Notes in Computer Science, pages 266-277, Springer, 2013. [doi]
Abstract is missing.