TY  - JOUR

T1  - Property-based testing - The ProTest project

JO  - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PY  - 2010/01/01

AU  - Derrick J

AU  - Walkinshaw N

AU  - Arts T

AU  - Benac Earle C

AU  - Cesarini F

AU  - Fredlund LA

AU  - Gulias V

AU  - Hughes J

AU  - Thompson S

ED  - 

DO  - DOI: 10.1007/978-3-642-17071-3_13

VL  - 6286 LNCS

SP  - 250

EP  - 271

Y2  - 2024/12/26

ER  -