Automated systematic testing for constraint-based interactive services

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

Volumn , Issue , 2000, Pages 40-49

  Godefroid, P ^a   Jagadeesan, L J ^a   Jagadeesan, R ^a   Laufer K ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

Constraint based languages; Interactive services; Model checking; State explosion; State space reduction; Testing; Verification

Indexed keywords

CONSTRAINT THEORY; DATA ACQUISITION; FINANCIAL DATA PROCESSING; FORMAL LANGUAGES; INTERACTIVE COMPUTER SYSTEMS; PROGRAM DEBUGGING; SOFTWARE ENGINEERING; SPEECH RECOGNITION; USER INTERFACES;

AUTOMATIC SPEECH RECOGNITION INTERFACES; CONSTRAINT BASED LANGUAGES; INTERACTIVE SERVICES; PROGRAM VERIFICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0034448908     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/355045.355051     Document Type: Conference Paper

References (22)

1. Development principles for dialog-based interfaces
2. Recognizing safety and liveness
3. Sisl: Several interfaces, single logic
4. Automatically closing open reactive programs
5. Design and implementation of Triveni: A process-algebraic API for threads + events
6. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
7. Filter-based model checking of partial system
8. A form-based dialogue manager for spoken language applications
9. Model checking for programming language using VeriSoft
10. Model checking without a model: An analysis of the heart-beat monitor of a telephone switch using VeriSoft
11. Better verification through symmetry
12. A speech interface for forms on WWW
13. Constraint logic programming
14. An automata-theoretic approach to automatic program verification
15. An event driven model for dialogue systems