Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs

Danel Ahman, Marko Kääramees

We are investigating on-line model-based test generation from non-deterministic output-observable Input/Output Extended Finite State Machine (I/O EFSM) models of Systems Under Test…