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]

Abstract

Abstract is missing.