state of the computation will just be another of the stored SDCs [or, if learning is allowed, a possibly new code that may contain portions (subsets) of previously stored SDCs] that becomes active, which will in general have some other pattern of overlaps with all of the stored SDCs, and...
Checking the consistency of a metamodel involves finding a valid metamodel instance that provably meets the set of constraints that are defined over the me
Since multi-path loops contain a significant number of paths, exploring all possible paths to improve bug finding may not be feasible within a limited search time budget. The large number of objectives to optimize results in an enormous amount of time-consuming fitness evaluations and comparisons o...
In their work on learning simple theories, Kohavi and John (1997) wrapped their learners in a pre-processor that used a heuristic search to grow subsets of the available attributes from a size of one. At each step in this growth, a learner was used to assess the accuracy of the model ...