Arcadia Papers: ABSTRACT
"A Formal Evaluation of Data Flow Path Selection Criteria,''
by Lori A. Clarke, Andy Podgurski, Debra J. Richardson, and Steven J. Zeil in
IEEE Transactions on Software Engineering,
SE-15(11), November 1989.
Abstract
A number of path selection criteria have been proposed throughout the
years. Unfortunately, little work has been done on comparing these
criteria. To determine what would be an effective path selection
criterion for revealing faults in programs, we have undertaken an
evaluation of these criteria. This paper reports on the results of
our evaluation of path selection criteria based on data flow relationships.
We show how these criteria relate to each other, thereby demonstrating some
of their strengths and weaknesses. In addition, we suggest minor changes
to some criteria that improve their performance. We conclude with a
discussion of the major limitations of these criteria and directions
for future research.
The Arcadia Project
<arcadia-www@ics.uci.edu>
Last modified: Fri Nov 11 14:39:25 1994