2014conference

System Testing with S-TaLiRo: Recent Functionality and Additions

Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos

ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2014

Topics: Testing; Falsification; and Specification

Citation

@inproceedings{hoxhasystem,
  title = {System Testing with S-TaLiRo: Recent Functionality and Additions},
  author = {Hoxha, Bardh and Dokhanchi, Adel and Fainekos, Georgios},
  booktitle = {ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2014},
  year = {2014},
  url = {http://www.bhoxha.com/papers/hscc2014.pdf},
  keywords = {Testing, Falsification, and Specification}
}