%0 Book Section %1 koster2007state %A Koster, Ken %A Kao, David %B ESEC-FSE companion '07 -- The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers %D 2007 %I ACM New York, USA %K sweng testing metric %R 10.1145/1295014.1295036 %T State coverage: a structural test adequacy criterion for behavior checking

@incollection{koster2007state, added-at = {2011-12-16T09:35:14.000+0100}, author = {Koster, Ken and Kao, David}, biburl = {https://www.bibsonomy.org/bibtex/2b3f70b24f6fb8dab859560035b0a31b0/pbrada}, booktitle = {{ESEC-FSE} companion '07 -- The 6th Joint Meeting on European software engineering conference and the {ACM SIGSOFT} symposium on the foundations of software engineering: companion papers}, doi = {10.1145/1295014.1295036}, groups = {public}, interhash = {532653f11067c2d7684fb1d5c3e433bf}, intrahash = {b3f70b24f6fb8dab859560035b0a31b0}, keywords = {sweng testing metric}, publisher = {ACM New York, USA}, timestamp = {2011-12-16T09:35:14.000+0100}, title = {State coverage: a structural test adequacy criterion for behavior checking}, username = {pbrada}, year = 2007 }