Using model-checkers to generate and analyze property relevant test-cases.

Gordon Fraser Franz Wotawa Using model-checkers to generate and analyze property relevant test-cases. 161-183 2008 16 Software Quality Journal 2 http://dx.doi.org/10.1007/s11219-007-9031-6 db/journals/sqj/sqj16.html#FraserW08