Shan Lu Weihang Jiang Yuanyuan Zhou A study of interleaving coverage criteria. 533-536 2007 ESEC/SIGSOFT FSE (Companion) http://doi.acm.org/10.1145/1295014.1295034 conf/sigsoft/2007c db/conf/sigsoft/fse2007c.html#LuJZ07a