title = {Classification and Coverage-Based Falsification for Embedded Control Systems },
author = {Adimoolam, Arvind S. and Dang, Thao and Donz\'e, Alexandre and Kapinski, James Patrick and Jin, Xiaoqing},
year = {2017},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
pages = {483--503},
team = {TEMPO},
}
