Failing faster: overlapping patterns for property-based testing
In property-based testing, a key problem is generating input data that satisfies the precondition of a property. One approach is to attempt to do so automatically, from the definition of the precondition itself. This idea has been realised using the technique of needed narrowing, as in the Lazy Smal...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2016
|
| Online Access: | http://eprints.nottingham.ac.uk/38676/ http://eprints.nottingham.ac.uk/38676/1/failing-faster.pdf |