DocumentCode :
313004
Title :
Specification-based Testing of Reactive Software: Tools and Experiments Experience Report
Author :
Jagadeesan, L.J. ; Porter, Alan ; Puchol, C. ; Ramming, J.C. ; Votta, L.G.
Author_Institution :
Software Production Research Dept., Bell Laboratories
fYear :
1997
fDate :
17-23 May 1997
Firstpage :
525
Lastpage :
535
Keywords :
Specification-based Testing, Reactive Systems, Temporal Logic, Empirical Studies; Application software; Automatic testing; Computer science; Logic testing; Safety; Software testing; Software tools; Switching systems; System testing; Telephony;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering, 1997., Proceedings of the 1997 International Conference on
Conference_Location :
Boston, MA, USA
ISSN :
0270-5257
Print_ISBN :
0-89791-914-9
Type :
conf
DOI :
10.1109/ICSE.1997.610373
Filename :
610373
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=313004
بازگشت