BranchDataGenerator |
BranchDataGenerator is a base class for test data generators
for conditional branch instructions.
|
BranchEngine |
BranchEngine implements a test engine that constructs test cases by enumerating
feasible execution traces of the bounded length.
|
BranchEntry |
BranchEntry represents a node of the internal representation of a branch structure.
|
BranchExecution |
|
BranchExecutionIterator |
|
BranchInitializerMaker |
|
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 |
|