Submitted by Anonymous on Mon, 2016-04-11 11:55 April 2015. Lecture Notes in Computer Science, 9033, pp 252-266 Springer Authors: C. CanalG. SalaünPublished: 18th International Conference on Fundamental Approaches to Software Engineeering (FASE 2015)