Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
Image document

AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems

Mariem Abdelmoula , Daniel Gaffé , Michel Auguin
26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.97-112, ⟨10.1007/978-3-662-44857-1_7⟩
Conference papers hal-01069101v1