@inproceedings{abdelmoula:hal-01069101,
  TITLE = {{AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems}},
  AUTHOR = {Abdelmoula, Mariem and Gaff{\'e}, Daniel and Auguin, Michel},
  URL = {https://hal.science/hal-01069101},
  NOTE = {Part 2: Tools and Frameworksrepubli{\'e} dans Lecture Notes in Computer Science (LNCS)},
  BOOKTITLE = {{26th IFIP International Conference on Testing Software and Systems (ICTSS)}},
  ADDRESS = {Madrid, Spain},
  HAL_LOCAL_REFERENCE = {MCSOC},
  EDITOR = {Mercedes G. Merayo and Edgardo Montes Oca},
  PUBLISHER = {{Springer}},
  SERIES = {Testing Software and Systems},
  VOLUME = {LNCS-8763},
  PAGES = {97-112},
  YEAR = {2014},
  MONTH = Sep,
  DOI = {10.1007/978-3-662-44857-1\_7},
  KEYWORDS = {Specification ; Synchronous Model ; AUTSEG ; Test Sets ; State Machines ; States Space Covering ; Sequences  Generation ; Contactless  Smart  Card},
  PDF = {https://hal.science/hal-01069101/file/978-3-662-44857-1_7_Chapter.pdf},
  HAL_ID = {hal-01069101},
  HAL_VERSION = {v1},
}