Test sequence generation and model checking using dynamic transition relations
Sérgio Campos, Orna Grumberg, Karen Yorav, Copty FadyVolume:
6
Language:
english
Pages:
9
DOI:
10.1007/s10009-004-0142-0
Date:
August, 2004
File:
PDF, 250 KB
english, 2004