@article{article, title = {{Property-based testing - The ProTest project}}, url = {{}}, year = {{2010}}, month = {{1}}, author = {{Derrick J and Walkinshaw N and Arts T and Benac Earle C and Cesarini F and Fredlund LA and Gulias V and Hughes J and Thompson S}}, doi = {{10.1007/978-3-642-17071-3_13}}, volume = {{6286 LNCS}}, journal = {{Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}}, pages = {{250-271}}, note = {{Accessed on 2024/12/20}}}