@inproceedings{petrenko:hal-01470154,
  TITLE = {{Checking Experiments for Finite State Machines with Symbolic Inputs}},
  AUTHOR = {Petrenko, Alexandre and Simao, Adenilso},
  URL = {https://inria.hal.science/hal-01470154},
  NOTE = {Part 1: Model Based Testing},
  BOOKTITLE = {{27th IFIP International Conference on Testing Software and Systems (ICTSS)}},
  ADDRESS = {Sharjah and Dubai, United Arab Emirates},
  EDITOR = {Khaled El-Fakih and Gerassimos Barlas and Nina Yevtushenko},
  SERIES = {Testing Software and Systems},
  VOLUME = {LNCS-9447},
  PAGES = {3-18},
  YEAR = {2015},
  MONTH = Nov,
  DOI = {10.1007/978-3-319-25945-1\_1},
  KEYWORDS = {Finite state machines ; Extended finite state machines ; Symbolic automata ; Conformance testing ; Checking experiments ; Fault model based test generation},
  PDF = {https://inria.hal.science/hal-01470154/file/385214_1_En_1_Chapter.pdf},
  HAL_ID = {hal-01470154},
  HAL_VERSION = {v1},
}