2017conference

Vacuity aware falsification for MTL request-response specifications

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos

2017 13th IEEE Conference on Automation Science and Engineering (CASE)

Topics: Testing; Falsification; and Specification

Citation

@inproceedings{dokhanchi2017vacuity,
  title = {Vacuity aware falsification for MTL request-response specifications},
  author = {Dokhanchi, Adel and Yaghoubi, Shakiba and Hoxha, Bardh and Fainekos, Georgios},
  booktitle = {2017 13th IEEE Conference on Automation Science and Engineering (CASE)},
  pages = {1332--1337},
  year = {2017},
  organization = {IEEE},
  url = {http://www.bhoxha.com/papers/CASE2017.pdf},
  keywords = {Testing, Falsification, and Specification}
}