@inproceedings{marsso:hal-03038050,
  TITLE = {{Automated Transition Coverage in Behavioural Conformance Testing}},
  AUTHOR = {Marsso, Lina and Mateescu, Radu and Serwe, Wendelin},
  URL = {https://inria.hal.science/hal-03038050},
  BOOKTITLE = {{ICTSS 2020 - 32nd IFIP International Conference on Testing Software and Systems}},
  ADDRESS = {Napoli, Italy},
  PAGES = {219-235},
  YEAR = {2020},
  MONTH = Dec,
  DOI = {10.1007/978-3-030-64881-7\_14},
  PDF = {https://inria.hal.science/hal-03038050/file/paper.pdf},
  HAL_ID = {hal-03038050},
  HAL_VERSION = {v1},
}