conference

ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos

ARCH

Topics: Testing; Falsification; and Specification

Citation

@inproceedings{dokhanchi2017arch,
  title = {ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks},
  author = {Dokhanchi, Adel and Yaghoubi, Shakiba and Hoxha, Bardh and Fainekos, Georgios},
  booktitle = {ARCH},
  url = {http://www.bhoxha.com/papers/ARCH2017.pdf},
  keywords = {Testing, Falsification, and Specification}
}