2014conference

Using S-TaLiRo on industrial size automotive models

Bardh Hoxha, Houssam Abbas, Georgios Fainekos

Proc. of Applied Verification for Continuous and Hybrid Systems

Topics: Testing; Falsification; and Specification

Citation

@article{hoxha2014using,
  title = {Using S-TaLiRo on industrial size automotive models},
  author = {Hoxha, Bardh and Abbas, Houssam and Fainekos, Georgios},
  journal = {Proc. of Applied Verification for Continuous and Hybrid Systems},
  year = {2014},
  url = {http://www.bhoxha.com/papers/arch2014exp.pdf},
  keywords = {Testing, Falsification, and Specification}
}