2019conference

Robustness of specifications and its applications to falsification, parameter mining, and runtime monitoring with s-taliro

Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan

Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8--11, 2019, Proceedings 19

Topics: Testing; Falsification; and Specification; Runtime Verification and Monitoring

Citation

@inproceedings{fainekos2019robustness,
  title = {Robustness of specifications and its applications to falsification, parameter mining, and runtime monitoring with s-taliro},
  author = {Fainekos, Georgios and Hoxha, Bardh and Sankaranarayanan, Sriram},
  booktitle = {Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8--11, 2019, Proceedings 19},
  pages = {27--47},
  year = {2019},
  organization = {Springer International Publishing},
  code = {https://sites.google.com/a/asu.edu/s-taliro/s-taliro},
  url = {http://www.bhoxha.com/papers/RV2019.pdf},
  keywords = {Testing, Falsification, and Specification, Runtime Verification and Monitoring}
}