272 George Fink and Matt Bishop (University of California at Davis), “Property-based Testing: a New
Approach to Testing for Assurance,” ACM SIGSOFT Software Engineering Notes 22, no. 4 (July 1997):
273 T. Ball, “The Concept of Dynamic Analysis,” in Proceedings of the ACM SIGSOFT Symposium on the
Foundations of Software Engineering, Toulouse, France, September 1999: 216–234.