2020conference
Search-based test-case generation by monitoring responsibility safety rules
Mohammad Hekmatnejad, Bardh Hoxha, Georgios Fainekos
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC)
Topics: Testing; Falsification; and Specification
Citation
@inproceedings{hekmatnejad2020search,
title = {Search-based test-case generation by monitoring responsibility safety rules},
author = {Hekmatnejad, Mohammad and Hoxha, Bardh and Fainekos, Georgios},
booktitle = {2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC)},
pages = {1--8},
year = {2020},
organization = {IEEE},
url = {http://www.bhoxha.com/papers/ITSC2020.pdf},
keywords = {Testing, Falsification, and Specification}
}