2018conference

Experience report: Application of falsification methods on the UxAS system

Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios Fainekos, Sriram Sankaranarayanan

NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings 10

Topics: Testing; Falsification; and Specification

Citation

@inproceedings{tuncali2018experience,
  title = {Experience report: Application of falsification methods on the UxAS system},
  author = {Tuncali, Cumhur Erkan and Hoxha, Bardh and Ding, Guohui and Fainekos, Georgios and Sankaranarayanan, Sriram},
  booktitle = {NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings 10},
  pages = {452--459},
  year = {2018},
  organization = {Springer International Publishing},
  url = {http://www.bhoxha.com/papers/NFM2018.pdf},
  keywords = {Testing, Falsification, and Specification}
}