M. Abdelmoula, D. Gaffé, M. Auguin. AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems. Mercedes G. Merayo; Edgardo Montes Oca. 26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. Springer,
HAL Archives-Ouvertes,
M. Abdelmoula, D. Gaffé, M. Auguin. AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems.