Property-based testing: a new approach to testing for assurance

George Fink, Matt Bishop. Property-based testing: a new approach to testing for assurance. ACM SIGSOFT Software Engineering Notes, 22(4):74-80, 1997. [doi]

@article{FinkB97-0,
  title = {Property-based testing: a new approach to testing for assurance},
  author = {George Fink and Matt Bishop},
  year = {1997},
  doi = {10.1145/263244.263267},
  url = {https://doi.org/10.1145/263244.263267},
  researchr = {https://researchr.org/publication/FinkB97-0},
  cites = {0},
  citedby = {0},
  journal = {ACM SIGSOFT Software Engineering Notes},
  volume = {22},
  number = {4},
  pages = {74-80},
}