Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
FORTE
2000
11 years 6 months ago
On Test Derivation from Partial Specifications
The paper addresses the problem of test derivation from partially defined specifications. A specification is modeled by an Input/Output FSM such that transitions from some states ...
Alexandre Petrenko, Nina Yevtushenko
books