Theories of Program Testing and the Application of Revealing Subdomains

DOI10.1109/TSE.1980.234485MaRDI QIDQ3870281zbMATH OpenFDO

Authors Elaine J. Weyuker, Thomas J. Ostrand

Publication date 1980

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TSE.1980.234485

zbMATH Keywords

program testingrevealing subdomainsoftware error detectionsoftware reliabilitytest data generation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(5)

• A contribution to the theory of program testing
• A framework for table driven testing of Java classes
• A study of symmetry breaking predicates and model counting
• Importance Sampling of Test Cases in Markovian Software Usage Models
• The universal safeness of test allocation strategies for partition testing

This page was built for publication: Theories of Program Testing and the Application of Revealing Subdomains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3870281)