Combining model checking and testing with an application to reliability prediction and distribution
Lin Gui, Jun Sun, Yang Liu, Yuan Jie, Jin Song Dong, Xinyu Wang · 2013
Testing provides a probabilistic assurance of system correctness. In general, testing relies on the assumptions that the system under test is deterministic so that test cases can be sampled. However, a challenge arises when a system under test behaves non-deterministiclly in a dynamic operating environment because it will be unknown how to sample test cases.