Sciweavers

70 search results - page 3 / 14
» Automatic Conformance Testing of Web Services
Sort
View
ICWS
2010
IEEE
13 years 3 months ago
Timed Extended Invariants for the Passive Testing of Web Services
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...
Gerardo Morales, Stéphane Maag, Ana R. Cava...
ISSRE
2005
IEEE
13 years 10 months ago
Testing Web Services by XML Perturbation
The eXtensible Markup Language (XML) is widely used to transmit data across the Internet. XML schemas are used to define the syntax of XML messages. XML-based applications can re...
Wuzhi Xu, Jeff Offutt, Juan Luo
ICCHP
2004
Springer
13 years 10 months ago
Web Accessibility through Adaptation
Abstract. This paper presents the eAccessibilityEngine tool, which employs adaptation techniques to automatically render web pages accessible by users with different types of disab...
Chrisoula Alexandraki, Alex Paramythis, Napoleon M...
ISORC
2005
IEEE
13 years 10 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
TSE
2010
161views more  TSE 2010»
13 years 3 months ago
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, ...