Title of article :
Using model-checkers to generate and analyze property relevant test-cases
Author/Authors :
Gordon Fraser and Franz Wotawa ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2008
Keywords :
Property relevance Software testing Requirements traceability Test-suite analysis Model-checker based testing
Journal title :
Software Quality Journal
Journal title :
Software Quality Journal
