2014preprint

Conformance testing as falsification for cyber-physical systems

Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V Deshmukh, James Kapinski, Koichi Ueda

arXiv preprint arXiv:1401.5200

Topics: Testing; Falsification; and Specification

Citation

@article{abbas2014conformance,
  title = {Conformance testing as falsification for cyber-physical systems},
  author = {Abbas, Houssam and Hoxha, Bardh and Fainekos, Georgios and Deshmukh, Jyotirmoy V and Kapinski, James and Ueda, Koichi},
  journal = {arXiv preprint arXiv:1401.5200},
  year = {2014},
  url = {http://arxiv.org/abs/1401.5200},
  keywords = {Testing, Falsification, and Specification}
}