%PDF-1.5
%
10 0 obj
<<
/Type /Metadata /Subtype /XML
/Length 1808
>>
stream
True
This work is licensed under a <a rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/">Creative Commons Attribution-ShareAlike 4.0 International Licence</a>.
This work is licensed under a <a rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/">Creative Commons Attribution-ShareAlike 4.0 International Licence</a>.
Employing property-based testing
Employing property-based testing
Michael F. Herbst
endstream
endobj
64 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 12.606 12.606]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 65 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
67 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 5.139 5.139]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 68 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
95 0 obj
<<
/Length 1205
/Filter /FlateDecode
>>
stream
xZKs6W(i&NEA)SIP(ˏ$3glbA, #orh4:raHR/Q~ &_\ L{"WNQ)8zi|38Cf;RXj