1. Software System Testing and Quality Assurance;Beiser;Van Nostrand Reinhold,1984
2. Adding Formal Specifications to a Proven V & V process for System-Critical Flight Software;Hagar;Workshop on Industrial-Strength Formal Specification Techniques,1995
3. W. Howden, “Program Testing versus Proofs of Correctness” Journal of Software Testing Verification and Reliability, Vol. 1, Issue 1.
4. An experimental evaluation of the assumption of independence in Multiversion programming;Knight;IEEE trans, of Software,1986
5. Investigations of the software testing coupling effect;Offutt;ACM trans. of Software Engineering and Methodology,1992