Title :
System validation through automated requirements verification
Author :
Huebner, Doug L.
Author_Institution :
GTE Automatic Electric Laboratories
Keywords :
Automatic testing; Error correction; Hardware; Humans; Laboratories; Software testing; Software tools; Switching systems; System testing; Telephony;
Conference_Titel :
Computer Software and Applications Conference, 1979. Proceedings. COMPSAC 79. The IEEE Computer Society's Third International
DOI :
10.1109/CMPSAC.1979.762495
