Tools for discovery, refinement and generalization of functional properties by enumerative testing
This thesis presents techniques for discovery, refinement and generalization of properties about functional programs. These techniques work by reasoning from test results: their results are surprisingly accurate in practice, despite an inherent uncertainty in principle. These techniques are validate...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of York
2017
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.731590 |