Specification-based test oracles for reactive systems

Proceedings - International Conference on Software Engineering

Volumn , Issue 14, 1992, Pages 105-118

  Richardson, Debra J ^a   Leif Aha, Stephanie ^a   O'Malley, T Owen ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; COMPUTATIONAL METHODS; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA PROCESSING; ERROR DETECTION; FORMAL LANGUAGES; PROGRAM DIAGNOSTICS; SOFTWARE ENGINEERING; UTILITY PROGRAMS;

COMPUTATIONAL PARADIGM; MULTISPECIFICATIONS; REACTIVE SYSTEMS; TEST ORACLES;

REAL TIME SYSTEMS;

EID: 0026867276     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/143062.143100     Document Type: Conference Paper

References (0)