WEAVE: WEb applications validation environment

2009 31st International Conference on Software Engineering - Companion Volume, ICSE 2009

Volumn , Issue , 2009, Pages 101-111

  Rajan, Sreeranga P ^a   Tkachuk, Oksana ^a   Prasad, Mukul ^a   Ghosh, Indradeep ^a   Goel, Nitin ^a   Uehara, Tadahiro ^b  

^a FUJITSU LABORATORIES OF AMERICA   (United States)

^b FUJITSU LABORATORIES LTD   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

AGILE SOFTWARES; BUSINESS LOGIC; COMPUTING INFRASTRUCTURES; CONVENTIONAL TESTING; FUNCTIONAL BEHAVIORS; INTUITIVE INTERFACES; SEMIAUTOMATIC METHODS; SOFTWARE DEVELOPMENT METHODOLOGIES; SOFTWARE QUALITY; SOFTWARE TEAMS; SYMBOLIC EXECUTION; TIME-TO-MARKET; WATERFALL MODEL; WEB APPLICATION;

INVESTMENTS; SOFTWARE ENGINEERING; TEMPORAL LOGIC; WEAVING; WORLD WIDE WEB;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 70349706072     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE-COMPANION.2009.5070968     Document Type: Conference Paper

References (12)

1. C. Barrett and S. Berezi. Cvclite: A new implementation of the cooperating validity checker. In CAV, July 2004.
2. G. Brat, K. Havelund, S. Park, and W. Visser. Java PathFinder - a second generation of a Java model-checker. In Proceedings of the Workshop on Advances in Verification, July 2000.
3. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic Verification of Finite State Concurrent Systems using Temporal Logic Specifications. ACM transactions on Programming Languages and Systems, 8(2):244-263, April 1986.
4. A. Deutsch, L. Sui, V. Vianu, and D. Zhou. Verification of communicating data-driven web services. In S. Vansummeren, editor, PODS, pages 90-99. ACM, 2006.
5. st International Conference on Software Engineering, May 1999.
6. S. M. Inc. Java Pet Store. http://java.sun.com/j2ee/1.4/download. html#samples.
7. D. Rice. Geekonomics: The Real Cost of Insecure Software. Addison Wesley, New York, 2007.
8. B. Selic. Tutorial: An overview of uml 2.0. In ICSE '04: Proceedings of the 26th International Conference on Software Engineering, pages 741-742, Washington, DC, USA, 2004. IEEE Computer Society.
9. O. Tkachuk. Bandera Environment Generator Website. http://beg.projects. cis.ksu.edu.
10. O. Tkachuk, M. B. Dwyer, and C. S. Pǎsǎreanu. Automated environment generation for software model checking. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering, Oct. 2003.
11. O. Tkachuk and S. P. Rajan. Application of automated environment generation to commercial software. In ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis, pages 203-214, New York, NY, USA, 2006. ACM.
12. F. Yu, C. Wang, A. Gupta, and T. Bultan. Modular verification of web services using efficient symbolic encoding and summarization. In SIGSOFT '08/FSE-16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, pages 192-202, New York, NY, USA, 2008. ACM.