Class | Description |
---|---|
AtomicTestGenerator |
The class representing an atomic test generator, that is, test generator operating at the
sequence-level instead of test-level.
|
Simulator |
The abstract representation of a device model encapsulating a runtime state along with a static
structure of an original device.
|
TestCoverage |
The representation of an abstract test coverage.
|
TestGenerator |
The class representing an abstract test generator.
|
TransformUtils |
Utility methods for models transformation.
|