Title :
A functional model for test sequence generation
Author :
Koh, Liang-Seng ; Wang, Chang-Jia ; Liu, Ming T.
Keywords :
Automata; Contracts; Degradation; Flow graphs; Information science; Protocols; Software testing;
Conference_Titel :
Computers and Communications, 1994., IEEE 13th Annual International Phoenix Conference on
Conference_Location :
Phoenix, AZ, USA
Print_ISBN :
0-7803-1814-5
DOI :
10.1109/PCCC.1994.504135
