ComputingComputer EngineeringComputer ScienceProgramming LanguagesCoverage AssessmentSoftware TestingStructural TestingCode CoverageCoverage CriteriaCoverage MeasuresStructural TestTest AdequacyTest Coverage
We propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and sideeffects of a program.
12
An axiomatic basis for computer programming
C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text
Mark Weiser · IEEE Transactions on Software Engineering · 1984 · 3.2K citations