2 search results - page 1 / 1 » Synthesis of On-Line Planning Tester for Non-deterministic E... |
105
Voted
TAICPART
2010
IEEE
15 years 17 days ago
2010
IEEE
104
Voted
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...