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...
| Main Author: | |
|---|---|
| Published: |
University of Newcastle Upon Tyne
2002
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.246629 |