On the effect of test-suite reduction on automatically generated model-based tests.

Mats Per Erik Heimdahl George Devaraj On the effect of test-suite reduction on automatically generated model-based tests. 37-57 2007 14 Autom. Softw. Eng. 1 http://dx.doi.org/10.1007/s10515-006-0004-y db/journals/ase/ase14.html#HeimdahlG07