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