Error Sensitive Test Cases Analysis (ESTCA)

DOI10.1109/TSE.1980.234487MaRDI QIDQ3868732zbMATH OpenFDO

Authors Kenneth A. Foster

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.234487

zbMATH Keywords

error sensitive test cases analysisESTCAprogram correctnessprogram testingsoftware errorssoftware reliabilitytest data generation

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(5)

• On theorem prover-based testing
• A framework for table driven testing of Java classes
• The HOL-CSP Refinement Toolkit
• HOL-CSP Version 2.0
• A Sound Type System for Physical Quantities, Units, and Measurements

This page was built for publication: Error Sensitive Test Cases Analysis (ESTCA)

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