Combining model checking and testing with an application to reliability prediction and distribution.

Lin Gui, Jun Sun, Yang Liu, Yuanjie Si, Jin Song Dong, Xinyu Wang

Browse the full ISSTA paper archive.