1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…