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.
BibTeX
@inproceedings{Koster-Kao:FSE07,
author = {Kenneth Koster and
David C. Kao},
title = {State coverage: a structural test adequacy criterion for behavior checking},
booktitle = {{ESEC/SIGSOFT} {FSE}},
pages = {541--544},
publisher = {{ACM}},
year = {2007},
}
