Sciweavers

PTS
2003
73views Hardware» more  PTS 2003»
13 years 6 months ago
Testing Transition Systems with Input and Output Testers
The paper studies testing based on input/output transition systems, also known as input/output automata. It is assumed that a tester can never prevent an implementation under test ...
Alexandre Petrenko, Nina Yevtushenko, Jiale Huo