1. Hayhurst, K.J., Veerhusen, D.S., Chilenski, J.J., Rierson, L.K.: A practical tutorial on modified condition/decision coverage. NASA Technical Memorandum TM-2001-210876, NASA Langley Research Center, Hampton, VA (2001), http://www.faa.gov/certification/aircraft/av-info/software/Research/MCDC%20Tutorial.pdf
2. Lecture Notes in Computer Science;A. Gargantini,1999
3. Hamon, G., de Moura, L., Rushby, J.: Generating efficient test sets with a model checker. In: 2nd International Conference on Software Engineering and Formal Methods (SEFM), pp. 261–270. IEEE Computer Society, Beijing (2004)
4. Lecture Notes in Computer Science;H. Saïdi,1997
5. Lecture Notes in Computer Science;T.A. Henzinger,2003