Authors
George Fink, Matt Bishop
Publication date
1997/7/1
Journal
ACM SIGSOFT Software Engineering Notes
Volume
22
Issue
4
Pages
74-80
Publisher
ACM
Description
The goal of software testing analysis is to validate that an implementation satisfies its specifications. Many errors in software are caused by generalizable flaws in the source code. Property-based testing assures that a given program is free of specified generic flaws. Property-based testing uses property specifications and a data-flow analysis of the program to guide evaluation of test executions for correctness and completeness.
Total citations
Scholar articles
G Fink, M Bishop - ACM SIGSOFT Software Engineering Notes, 1997