1. Eliminating redundant tests in a checking sequence;Chen,2005
2. Dincturk, M.E., August 2009. A two phase approach for checking sequence generation. M.Sc. Thesis, Sabancı University.
3. Exploring alternatives for transition verification;Duan;J. Syst. Software,2009
4. Reduced length checking sequences;Hierons;IEEE Trans. Comput.,2002
5. Erratum: reduced length checking sequences;Hierons;IEEE Trans. Comput.,2009