P. Godefroid, L. Jagadeesan, R. Jagadeesan, and K. Laufer. Automated Systematic Testing for Constraint-Based Interactive Services. In Proceedings of FSE'2000 (8th International Symposium on the Foundations of Software Engineering), pages 40--49, San Diego, November 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Engineering Device-Independent Web Services - Kirda (2002) (Correct)
....to the Jessica system (e.g. see [BS98] but has some extensions that allows it to support formats other than HTML. JML solely aims to separate the layout and the content for static content and does not deal with dynamic content. 3.5. 4 SISL Several Interfaces Single Logic (SISL) BCD 00, GJJL00] is a system that has been designed and developed by Lucent technologies. The idea in SISL is to use reactive constraint graphs to model the service logic. The authors have developed an XML language for writing special SISL programs. They claim that programs written in SISL are ....
Patrice Godefroid, Lalita Jagadeesan, Radha Jagadeesan, and Konstantin Laeufer. Automated systematic testing for constraint-based interactive services. pages 40--50. ACM Press, November 2000.
Software Model Checking: The VeriSoft Approach - Patrice Godefroid Bell (2003) (2 citations) Self-citation (Godefroid) (Correct)
No context found.
P. Godefroid, L. Jagadeesan, R. Jagadeesan, and K. Laufer. Automated Systematic Testing for Constraint-Based Interactive Services. In Proceedings of FSE'2000 (8th International Symposium on the Foundations of Software Engineering), pages 40--49, San Diego, November 2000.
A Constraint-Based Framework for Prototyping.. - Gupta.. (2000) Self-citation (Jagadeesan Laufer) (Correct)
....speech recognitionbased or text based natural language understanding, telephone voice access, web, and graphics based interfaces. Sisl has been integrated with VeriSoft [20] a systematic state space exploration tool, and hence supports automated and efficient testing of Sisl applications [21]. Sisl is currently being used to prototype a new generation of callprocessing services for a Lucent Technologies switching product. 2.4 Related Work We have already referred to several pieces of work that have inspired and influenced this paper. 43] is an eminently readable survey of ....
P. Godefroid, L. J. Jagadeesan, R. Jagadeesan, and K. Laufer. Automated systematic testing for constraint-based interactive services. In Proc. 8th Intl. Symp. on the Foundations of Software Engineering, November 2000. To appear.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC