Mathilde Arnaud, Boutheina Bannour, Arnaud Cuccuru, Christophe Gaston, Sébastien Gérard, Arnault Lapitre. Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios. In Frédéric Boulanger, Daniel Krob, Gérard Morel, Jean-Claude Roussel, editors, Complex Systems Design & Management, Proceedings of the Fifth International Conference on Complex Systems Design & Management CSD&M 2014, Paris, France, November 12-14, 2014. pages 269-282, Springer, 2014. [doi]
Abstract is missing.