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
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...
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...