Elaine J. Weyuker

• An error-based testing strategy
• Assessing test data adequacy through program inference. May 1980, revised Aug. 1981
• Axiomatizing software test data adequacy
• Evaluating software complexity measures
• On testing nontestable programs
• Theories of program testing and the application of revealing sub-domains
• Translatability and decidability questions for restricted classes of program schemas
• Computability, Complexity, and Languages