Title of article :
On the effect of test-suite reduction on automatically generated model-based tests
Author/Authors :
Mats P. E. Heimdahl and Devaraj George ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Keywords :
Specification-based testing . Test reduction . Fault finding . Modelcheckers . Automated test generation
Journal title :
Automated Software Engineering
Journal title :
Automated Software Engineering
