Automated test generation from algebraic specifications

This thesis is a contribution to work on the specification-based testing of computing systems. The development of computing systems is a challenging task. A great deal of research has been directed at support for analysis, design and implementation aspects, yielding a wide range of development techn...

Full description

Bibliographic Details
Main Author: Pietschker, Andrej
Published: University of Newcastle Upon Tyne 2002
Subjects:
005
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.246629

Similar Items