BranchAdapter |
|
BranchEngine |
BranchEngine implements a test engine that constructs test cases by enumerating
feasible execution traces of bounded length.
|
BranchEntry |
BranchEntry represents a node of the internal representation of a branch structure.
|
BranchExecution |
|
BranchExecutionIterator |
|
BranchSolution |
|
BranchStructure |
BranchStructure implements an internal representation of branch structures.
|
BranchStructureIterator |
BranchExecutionIterator implements an iterator of valid branch structures for given branch
instructions (conditional and unconditional jumps, procedures calls, etc.).
|
BranchTrace |
BranchTrace represents an execution trace of a branch instruction.
|
BranchTraceIterator |
|