Third eye - specification-based analysis of software execution traces

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2000, Pages 772-

  Lencevicius, Raimondas ^a   Ran, Alexander ^a   Yairi, Rahav ^a  

^a NOKIA RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE EXECUTION TRACES; SOFTWARE PACKAGE THIRD EYE; SPECIFICATION BASED ANALYSIS;

CLIENT SERVER COMPUTER SYSTEMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SELECTION AND EVALUATION; COMPUTER SOFTWARE PORTABILITY; COMPUTER SOFTWARE REUSABILITY; CONSTRAINT THEORY; NETWORK PROTOCOLS; PROGRAM DEBUGGING; PROGRAM DIAGNOSTICS; PROLOG (PROGRAMMING LANGUAGE); QUERY LANGUAGES; WORLD WIDE WEB;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0033698749     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (1)

1. Shtrichman, O.; Goldring, R., The "Logic Assurance (LA)" system-a tool for testing and controlling real-time systems. Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering, pp. 47-55, 1997.