Specification-based testing of reactive software: Tools and experiments

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1997, Pages 525-535

  Jagadeesan, Lalita Jategaonkar ^a   Porter, Adam ^a   Puchol, Carlos ^a   Ramming, J Christopher ^a   Votta, Lawrence G ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROTECTION SWITCHING SYSTEM (APS); REACTIVE SOFTWARE TESTING; SPECIFICATION BASED TESTING; TEMPORAL LOGIC;

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; FINITE AUTOMATA; FORMAL LOGIC; SPECIFICATIONS; TELEPHONE SWITCHING EQUIPMENT; PROGRAM DEBUGGING; SWITCHING SYSTEMS; TELEPHONE SYSTEMS;

PROGRAM DEBUGGING; COMPUTER AIDED SOFTWARE ENGINEERING;

AUTOMATIC PROTECTION SWITCHING SYSTEMS (APS); REACTIVE SOFTWARE; TEMPORAL LOGIC;

EID: 0030615529     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.1997.610373     Document Type: Conference Paper

References (24)