2014conference

WiP Abstract: Conformance Testing as Falsification for Cyber-Physical Systems

H. Abbas, B. Hoxha, G. Fainekos, J. V. Deshmukh, J. Kapinski, K. Ueda

ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, April 2014

Topics: Testing; Falsification; and Specification

Citation

@inproceedings{iccps2014wip,
  title = {WiP Abstract: Conformance Testing as Falsification for Cyber-Physical Systems},
  author = {H. Abbas and B. Hoxha and G. Fainekos and J. V. Deshmukh and J. Kapinski and K. Ueda},
  booktitle = {ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, April 2014},
  year = {2014},
  url = {http://www.bhoxha.com/papers/iccps2014wip.pdf},
  keywords = {Testing, Falsification, and Specification}
}