@inproceedings{bannour:hal-01482398,
  TITLE = {{Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing}},
  AUTHOR = {Bannour, Boutheina and Escobedo, Jose Pablo and Gaston, Christophe and Gall, Pascale Le},
  URL = {https://inria.hal.science/hal-01482398},
  NOTE = {Part 4: Testing of Embedded Systems},
  BOOKTITLE = {{24th International Conference on Testing Software and Systems (ICTSS)}},
  ADDRESS = {Aalborg, Denmark},
  EDITOR = {Brian Nielsen and Carsten Weise},
  PUBLISHER = {{Springer}},
  SERIES = {Testing Software and Systems},
  VOLUME = {LNCS-7641},
  PAGES = {119-135},
  YEAR = {2012},
  MONTH = Nov,
  DOI = {10.1007/978-3-642-34691-0\_10},
  KEYWORDS = {Model-based testing ; off-line testing ; real-time systems ; test suite generation ; verdict computation ; symbolic execution ; timed output-input symbolic transition systems},
  PDF = {https://inria.hal.science/hal-01482398/file/978-3-642-34691-0_10_Chapter.pdf},
  HAL_ID = {hal-01482398},
  HAL_VERSION = {v1},
}