@incollection{boudhiba:hal-01470156,
  TITLE = {{Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts}},
  AUTHOR = {Boudhiba, Imen and Gaston, Christophe and Gall, Pascale Le and Pr{\'e}vosto, Virgile},
  URL = {https://inria.hal.science/hal-01470156},
  NOTE = {IEEE Power \& Energy Society},
  BOOKTITLE = {{Testing Software and Systems }},
  SERIES = { Lecture Notes in Computer Science},
  VOLUME = {9447)},
  PAGES = {35-51},
  YEAR = {2014},
  DOI = {10.1007/978-3-319-25945-1\_3},
  PDF = {https://inria.hal.science/hal-01470156/file/385214_1_En_3_Chapter.pdf},
  HAL_ID = {hal-01470156},
  HAL_VERSION = {v1},
}