by Patrice Godefroid, Lalita J Jagadeesan
In Proceedings of FSE'2000 (8th International Symposium on the Foundations of Software Engineering
http://www.cs.luc.edu/triveni/papers/fse2000.pdf
Add To MetaCart
Abstract:
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must support multiple types of interfaces for accessing the same data. These include automatic speech-recognition interfaces where inputs may be provided in any order by users of the service. We study in this paper how to systematically test event-driven applications developed using such languages. We show how such applications can be tested automatically, without the need for any manually-written test cases, and efficiently, by taking advantage of their capability of taking unordered sets of events as inputs.
Citations
|
2762
|
Communication and Concurrency
– Milner
- 1989
|
|
1267
|
Abstract interpretation : a unified lattice model for the static analysis of programs by construction or approximation of fixpoints
– Cousot, Cousot
- 1977
|
|
755
|
Constraint logic programming
– Jaffar, Lassez
- 1987
|
|
460
|
P.: An automata-theoretic approach to automatic program verification
– Vardi, Wolper
- 1986
|
|
215
|
Model checking for programming languages using VeriSoft
– Godefroid
- 1997
|
|
174
|
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
– Godefroid
- 1996
|
|
147
|
Better verification through symmetry
– Ip, Dill
- 1996
|
|
125
|
Recognizing safety and liveness
– Alpern, Schneider
- 1987
|
|
67
|
editors. Program Flow Analysis: Theory and Applications
– Muchnick, Jones
- 1981
|
|
26
|
Filter-based model checking of partial systems
– Dwyer, Pasareanu
- 1998
|
|
24
|
Automatically closing open reactive programs
– Colby, Godefroid, et al.
- 1998
|
|
24
|
A form-based dialogue manager for spoken language applications
– Goddeau, Meng, et al.
- 1996
|
|
15
|
Jagadeesan.Model checking without a model: an analysis of the Heart-Beat Monitor of a telephone switch usingVeriSoft
– Godefroid, Hanmer, et al.
- 1998
|
|
14
|
Development principles for dialog-based interfaces
– Abella, Brown, et al.
- 1996
|
|
11
|
Design and implementation of Triveni: A process-algebraic API for threads + events
– Colby, Jagadeesan, et al.
- 1998
|
|
8
|
Concurrent Constraint Programming. Logic Programming and Doctoral Dissertation Award Series
– Saraswat
- 1993
|
|
7
|
Sisl: Several interfaces, single logic
– Ball, Colby, et al.
- 2000
|
|
6
|
An event driven model for dialogue systems
– Wang
- 1998
|
|
4
|
A speech interface for forms on WWW
– Issar
- 1997
|
