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: | Pietschker, Andrej |
---|---|
Published: |
University of Newcastle Upon Tyne
2002
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.246629 |
Similar Items
-
Automatic generation of software test cases from formal specifications
by: Meudec, Christophe
Published: (1998) -
Testing from structured algebraic specifications : the oracle problem
by: Machado, Patricia D. L.
Published: (2000) -
Automated generation of high-integrity test suites from graphical specifications
by: Burton, Simon
Published: (2002) -
Use of program and data-specific heuristics for automatic software test data generation
by: Alshraideh, Mohammad
Published: (2007) -
Interpreting algebraic specifications
by: Runciman, C.
Published: (1983)