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 - 2025/05/24 ER -