BIBLIOGRAPHIC NOTES
for data-flow-adequacy measurement of
tests for C programs [381]. The novelty of
TACTIC lies in its thorough analysis of
data flows in the presence of pointers.
Data-based coverage While this chapter
has focused on adequacy criteria based on
several code attributes, for example control
flow and data flow, other criteria are also
available based on attributes of test data.
Netisopakul et al. [349] propose a data
coverage strategy for test generation. The
strategy generates inputs to test collections
that are constrained by the size of the
input. The idea is to generate test inputs
that cover all sizes up to a critical size such
that no errors are found when the
collection is tested for inputs larger than
the critical size. The strategy was
empirically ...