Title of article
Using model-checkers to generate and analyze property relevant test-cases
Author/Authors
Gordon Fraser and Franz Wotawa ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
23
From page
161
To page
183
Keywords
Property relevance Software testing Requirements traceability Test-suite analysis Model-checker based testing
Journal title
Software Quality Journal
Serial Year
2008
Journal title
Software Quality Journal
Record number
292901
Link To Document