conference

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards

ARCH

Topics: Testing; Falsification; and Specification

Citation

@inproceedings{dokhanchi2018arch,
  title = {ARCH-COMP18 Category Report: Results on the Falsification Benchmarks},
  author = {Dokhanchi, Adel and Yaghoubi, Shakiba and Hoxha, Bardh and Fainekos, Georgios and Ernst, Gidon and Zhang, Zhenya and Arcaini, Paolo and Hasuo, Ichiro and Sedwards, Sean},
  booktitle = {ARCH},
  url = {http://www.bhoxha.com/papers/ARCH2018.pdf},
  keywords = {Testing, Falsification, and Specification}
}