Testing from structured algebraic specifications : the oracle problem
Work in the area of specification-based testing has pointed out that testing can be effectively used to verify programs against formal specifications. The aim is to derive test information from formal specifications so that testing can be rigorously applied whenever full formal verification is not c...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
2000
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561757 |