Underminer: a framework for automatically identifying non-converging behaviors in black box system models.

Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski

Browse the full EMSOFT paper archive.