@inproceedings{simul15,
  TITLE = {{Automatic Test Set Generator with Numeric Constraints Abstraction for Embedded Reactive Systems: AUTSEG V2}},
  AUTHOR = {Abdelmoula, Mariem and Gaff{\'e}, Daniel and Auguin, Michel},
  URL = {https://hal.archives-ouvertes.fr/hal-01241868},
  BOOKTITLE = {{SIMUL 2015: The Seventh International Conference on Advances in System Simulation}},
  ADDRESS = {Barcelone, Spain},
  SERIES = {SIMUL 2015: The Seventh International Conference on Advances in System Simulation},
  YEAR = {2015},
  MONTH = Nov,
  HAL_ID = {hal-01241868},
  HAL_VERSION = {v1},
}