Generating oracles from your favorite temporal logic specifications

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 1996, Pages 106-117

  Dillon, L K ^a   Ramakrishna, Y S ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONSTRAINT THEORY; FINITE AUTOMATA; FORMAL LOGIC;

PROPOSITIONAL TEMPORAL LOGIC; SEMANTIC TABLEAUX; SPECIFICATION BASED TEST ORACLES;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0030416233     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/239098.239116     Document Type: Conference Paper

References (19)