2017journal

Formal requirement debugging for testing and verification of cyber-physical systems

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos

ACM Transactions on Embedded Computing Systems (TECS)

Topics: Testing; Falsification; and Specification

Citation

@article{dokhanchi2017formal,
  title = {Formal requirement debugging for testing and verification of cyber-physical systems},
  author = {Dokhanchi, Adel and Hoxha, Bardh and Fainekos, Georgios},
  journal = {ACM Transactions on Embedded Computing Systems (TECS)},
  volume = {17},
  number = {2},
  pages = {1--26},
  year = {2017},
  publisher = {ACM New York, NY, USA},
  url = {http://www.bhoxha.com/papers/TECS2017.pdf},
  keywords = {Testing, Falsification, and Specification}
}