Search - IFIP Open Digital Library Access content directly

Filter your results

1 Array
Sub-domain level 1 : info.info-es
hal_authIdPerson_i : 18121
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