Software Testing Theory

Research Goals

• develop foundational testing theory
• improve current testing practice

Selected Research Papers

• Theoretical comparison of testing methods Testing, Analysis, and Verification (predecessor of ISSTA)
• Software Component Dependability, a Subdomain Theory (RST Corporation Technical Report RSTR-96-999-01)
• Foundations of software testing: dependability theory Foundations of Software Engineering 1994
• Subdomain (Partition) Testing (Encyclopedia of Software Engineering)
• Subdomain testing of units and systems with state International Symposium of Software testing and Analysis (ISSTA) 2006
• Invariants and state in testing and formal methods Program Analysis for Software Tools and engineering (PASTE) 2005
• Continuity in software systems International Symposium of Software testing and Analysis (ISSTA) 2002
• Implementing prototype testing tools SOFTWARE -- Practice and Experience 1988
• Test-based specfications of components and systems Software Testing, Evaluation, and Verification workshop
• Software quality, software process, and software testing (Advances in Computers)