Abstract
Software testing is one of the most time-consuming activities performed by programmers. Although effective testing techniques --- such as data-flow testing --- exist, testing is often carried out in "ad hoc" way. One of the problems is the cost to instrument programs in order to determine the coverage of the tests in real settings. In real settings, programs might execute millions of stat…