Alice T. Lee

• Quantitative measures for software independent verification and validation
• Software analysis handbook