ICST 2009 - PDF Preprint Papers

ICST 2009 Verification Software Testing

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICST-2009 Paper

click to vote

ICST
2009
IEEE

328views Software Engineering» more ICST 2009»

WS-TAXI: A WSDL-based Testing Tool for Web Services

13 years 6 months ago

Download www.iei.pi.cnr.it

Web Services (WSs) are the W3C-endorsed realization of the Service-Oriented Architecture (SOA). Since they are supposed to be implementation-neutral, WSs are typically tested blac...

Cesare Bartolini, Antonia Bertolino, Eda Marchetti...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Related Conferences

Id	Views	Title	Status

1	328	WS-TAXI: A WSDL-based Testing Tool for Web Services	claim
2	227	Transforming and Selecting Functional Test Cases for Security Policy Testing	claim
3	189	Optimizing Probabilities of Real-Time Test Case Execution	claim
4	170	Euclide: A Constraint-Based Testing Framework for Critical C Programs	claim
5	168	An Initial Characterization of Industrial Graphical User Interface Systems	claim
6	157	A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications	claim
7	140	Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)	claim
8	139	Predicting Attack-prone Components	claim
9	139	Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation	claim
10	138	An Evaluation of Model Checkers for Specification Based Test Case Generation	claim
11	136	Penetration Testing with Improved Input Vector Identification	claim
12	135	The Effectiveness of Automated Static Analysis Tools for Fault Detection and Refactoring Prediction	claim
13	131	An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs	claim
14	129	Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking	claim
15	127	Test Redundancy Measurement Based on Coverage Information: Evaluations and Lessons Learned	claim
16	126	Unit Testing Non-functional Concerns of Component-based Distributed Systems	claim
17	120	Seasonal Variation in the Vulnerability Discovery Process	claim
18	120	Test Input Generation Using UML Sequence and State Machines Models	claim
19	120	Timed Testing under Partial Observability	claim
20	119	Inferring Types of References to GUI Objects in Test Scripts	claim
21	119	PKorat: Parallel Generation of Structurally Complex Test Inputs	claim
22	110	Optimizing Generation of Object Graphs in Java PathFinder	claim
23	107	A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ	claim
24	106	Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles	claim
25	104	Pruning the Search Space in Path-Based Test Generation	claim
26	103	Quality Assurance of Software Applications Using the In Vivo Testing Approach	claim
27	91	A Simple Coverage-Based Locator for Multiple Faults	claim
28	89	A Model Building Process for Identifying Actionable Static Analysis Alerts	claim
29	83	On the Effectiveness of Test Extraction without Overhead	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers