2011 IEEE Asia-Pacific Services Computing Conference 2011
DOI: 10.1109/apscc.2011.23
|View full text |Cite
|
Sign up to set email alerts
|

Testing of Web Services: Tools and Experiments

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
5
0

Year Published

2013
2013
2016
2016

Publication Types

Select...
3
2
1

Relationship

1
5

Authors

Journals

citations
Cited by 6 publications
(5 citation statements)
references
References 10 publications
0
5
0
Order By: Relevance
“…To support our security checking method, in the context of WebMov 4 project, we developed a tool known as RV4WS [17] [18] (Runtime Verification for Web Services) that checks a timed trace with respect to a set of security rules predefined by the syntax as introduced in Section 3.2. In this tool, a checking engine [19] (i.e., RVEngine) is developed independently in Java language and used as a library of the tool.…”
Section: Implementation and Discussionmentioning
confidence: 99%
“…To support our security checking method, in the context of WebMov 4 project, we developed a tool known as RV4WS [17] [18] (Runtime Verification for Web Services) that checks a timed trace with respect to a set of security rules predefined by the syntax as introduced in Section 3.2. In this tool, a checking engine [19] (i.e., RVEngine) is developed independently in Java language and used as a library of the tool.…”
Section: Implementation and Discussionmentioning
confidence: 99%
“…The framework presented in [4] generates and executes automatically "online" tests for conformance testing of a composite of Web Services described in BPEL. This "online" approach was combined with passive testing, that verifies time traces with respect to a set of constraints in [3]. Both papers are limited to Web Services which are implemented according to BPEL specification.…”
Section: Monitoringmentioning
confidence: 99%
“…The framework presented in Cao et al (2010) generates and executes automatically 'online' tests for conformance testing of a composite of WSs described in BPEL. This 'online' approach has been combined with passive testing, that verifies time traces with respect to a set of constraints in Cao et al (2011). Both papers are limited to WSs which are implemented according to BPEL specification.…”
Section: Related Workmentioning
confidence: 99%