Functional test generation guided by steady-state probabilities of abstract design.

Jian Wang, Huawei Li, Tao Lv, Tiancheng Wang, Xiaowei Li

Browse the full DATE paper archive.