Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Stocks, Philip Alan"'
Autor:
Stocks, Philip Alan
This thesis examines applying formal methods to software testing. Software testing is a critical phase of the software life-cycle which can be very effective if performed rigorously. Formal specifications offer the bases for rigorous testing practice
Externí odkaz:
http://espace.library.uq.edu.au/view/UQ:157914