Experience Report: Application of Falsification Methods on the UxAS System
Crossref DOI link: https://doi.org/10.1007/978-3-319-77935-5_30
Published Online: 2018-03-11
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Tuncali, Cumhur Erkan http://orcid.org/0000-0002-8948-187X
Hoxha, Bardh http://orcid.org/0000-0001-6255-7566
Ding, Guohui
Fainekos, Georgios
Sankaranarayanan, Sriram http://orcid.org/0000-0001-7315-4340
License valid from 2018-01-01