Home > Verimag > Publications

bibtex

@inproceedings{ADD+7b,
    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},
}