@article{Fink:1997:PTN:263244.263267, author = {Fink, George and Bishop, Matt}, title = {Property-based testing: a new approach to testing for assurance}, journal = {SIGSOFT Softw. Eng. Notes}, volume = {22}, issue = {4}, month = {July}, year = {1997}, issn = {0163-5948}, pages = {74--80}, numpages = {7}, url = {http://doi.acm.org/10.1145/263244.263267}, doi = {http://doi.acm.org/10.1145/263244.263267}, acmid = {263267}, publisher = {ACM}, address = {New York, NY, USA}, }