-
2
-
-
11144234963
-
Web Services Testing: Beyond SOAP
-
Sep
-
J. Bloomberg, "Web Services Testing: Beyond SOAP," ZapThink LLC, Sep 2002, http://www.zapthink.com.
-
(2002)
ZapThink LLC
-
-
Bloomberg, J.1
-
3
-
-
27544494399
-
Progressive Ranking and Composition of Web Services Using Covering Arrays
-
February
-
C. J. Colbourn, Y. Chen, W. T. Tsai, "Progressive Ranking and Composition of Web Services Using Covering Arrays," Proc. of IEEE WORDS, Sedona, February 2005.
-
(2005)
Proc. of IEEE WORDS, Sedona
-
-
Colbourn, C.J.1
Chen, Y.2
Tsai, W.T.3
-
7
-
-
0036565023
-
Trusted autonomy
-
May-June
-
M.N. Huhns, D.A. Buell, "Trusted autonomy," IEEE Internet Computing, Volume 6, Issue 3, May-June 2002, pp. 92-95.
-
(2002)
IEEE Internet Computing
, vol.6
, Issue.3
, pp. 92-95
-
-
Huhns, M.N.1
Buell, D.A.2
-
10
-
-
4544284873
-
Generating Tests from Counterexamples
-
Scotland, UK, May
-
D. Beyer, A. Chlipala, T. Henzinger, R. Jhala, R. Majumdar, "Generating Tests from Counterexamples," Proceedings of the 26th International Conference on Software Engineering (ICSE'04), Scotland, UK, May 2004, pp. 326-335.
-
(2004)
Proceedings of the 26th International Conference on Software Engineering (ICSE'04)
, pp. 326-335
-
-
Beyer, D.1
Chlipala, A.2
Henzinger, T.3
Jhala, R.4
Majumdar, R.5
-
11
-
-
34248540156
-
Formalizing Web Services Choreographies
-
A. Brogi, C. Canal, E. Pimentel, A. Vallecillo, "Formalizing Web Services Choreographies," Electronic Notes in Theoretical Computer Science, www.elsevier.nl/locate/entcs.
-
Electronic Notes in Theoretical Computer Science
-
-
Brogi, A.1
Canal, C.2
Pimentel, E.3
Vallecillo, A.4
-
15
-
-
11144231061
-
Websight Visualizing the Execution of Web Services
-
Boston, MA, July
-
Wim De Pauw, et al., "Websight Visualizing the Execution of Web Services," Workshop on Testing, Analysis and Verification of Web Services, Boston, MA, July 2004.
-
(2004)
Workshop on Testing, Analysis and Verification of Web Services
-
-
Pauw, W.D.1
-
16
-
-
0020154271
-
Software reliability - Status and Perspectives
-
July
-
C. V. Ramamoorthy, F. B. Bastani, "Software reliability - Status and Perspectives," IEEE, Trans. Soft. Eng., SE-8, No. 4, July 1982, pp. 354-371.
-
(1982)
IEEE, Trans. Soft. Eng
, vol.SE-8
, Issue.4
, pp. 354-371
-
-
Ramamoorthy, C.V.1
Bastani, F.B.2
-
17
-
-
84952775605
-
Extending WSDL to Facilitate Web Services Testing
-
W. T. Tsai, R. Paul, Y. Wang, C. Fan, and D. Wang, "Extending WSDL to Facilitate Web Services Testing," Proc. of IEEE HASE, 2002, pp. 171-172.
-
(2002)
Proc. of IEEE HASE
, pp. 171-172
-
-
Tsai, W.T.1
Paul, R.2
Wang, Y.3
Fan, C.4
Wang, D.5
-
18
-
-
84883074104
-
Verification of Web Services Using an Enhanced UDDI Server
-
W. T. Tsai, R. Paul, Z. Cao, L. Yu, A. Saimi, B. Xiao, "Verification of Web Services Using an Enhanced UDDI Server," Proc. of IEEE WORDS, 2003, pp. 131-138.
-
(2003)
Proc. of IEEE WORDS
, pp. 131-138
-
-
Tsai, W.T.1
Paul, R.2
Cao, Z.3
Yu, L.4
Saimi, A.5
Xiao, B.6
-
19
-
-
0242410950
-
Scenario-Based Web Service Testing with Distributed Agents
-
W. T. Tsai, R. Paul, L. Yu, A. Saimi, and Z. Cao, "Scenario-Based Web Service Testing with Distributed Agents," IEICE Transactions on Information and Systems, 2003, Vol. E86-D, No. 10, 2003, pp. 2130-2144.
-
(2003)
IEICE Transactions on Information and Systems
, vol.E86-D
, Issue.10
, pp. 2130-2144
-
-
Tsai, W.T.1
Paul, R.2
Yu, L.3
Saimi, A.4
Cao, Z.5
-
20
-
-
18744370279
-
Cooperative and Group Testing in Verification of Dynamic Composite Web Services
-
W.T. Tsai, Y. Chen, R. Paul N. Liao, and H. Huang, "Cooperative and Group Testing in Verification of Dynamic Composite Web Services," in Workshop on Quality Assurance and Testing of Web-Based Applications, September 2004, pp. 170-173.
-
(2004)
Workshop on Quality Assurance and Testing of Web-Based Applications, September
, pp. 170-173
-
-
Tsai, W.T.1
Chen, Y.2
Paul, R.3
Liao, N.4
Huang, H.5
-
21
-
-
11144225854
-
A Software Reliability Model for Web Services
-
Cambridge, MA, November
-
W. T. Tsai, D. Zhang, Y. Chen, H. Huang, R. Paul, N. Liao, "A Software Reliability Model for Web Services," the 8th IASTED International Conference on Software Engineering and Applications, Cambridge, MA, November 2004, pp. 144-149.
-
(2004)
the 8th IASTED International Conference on Software Engineering and Applications
, pp. 144-149
-
-
Tsai, W.T.1
Zhang, D.2
Chen, Y.3
Huang, H.4
Paul, R.5
Liao, N.6
-
22
-
-
30344475769
-
Developing and Assuring Trustworthy Web Services
-
ISADS, April
-
W. T. Tsai, X. Wei, Y. Chen, B. Xiao, R. Paul, and H. Huang, "Developing and Assuring Trustworthy Web Services," 7th IEEE International Symposium on Autonomous Decentralized Systems (ISADS), April 2005, pp. 43-50.
-
(2005)
7th IEEE International Symposium on Autonomous Decentralized Systems
, pp. 43-50
-
-
Tsai, W.T.1
Wei, X.2
Chen, Y.3
Xiao, B.4
Paul, R.5
Huang, H.6
-
23
-
-
33845476101
-
Voting Multi-Dimensional Data with Deviations for Web Services under Group Testing
-
Columbus, Ohio, June
-
W.T. Tsai, Y. Chen, D. Zhang, H. Huang., "Voting Multi-Dimensional Data with Deviations for Web Services under Group Testing," the 4th International Workshop on Assurance in Distributed Systems and Networks (ADSN), Columbus, Ohio, June 2005.
-
(2005)
the 4th International Workshop on Assurance in Distributed Systems and Networks (ADSN)
-
-
Tsai, W.T.1
Chen, Y.2
Zhang, D.3
Huang, H.4
-
24
-
-
26844445964
-
Generating Test Cases for Web Services Using Data Perturbation
-
Boston, MA, July
-
W. Xu, "Generating Test Cases for Web Services Using Data Perturbation," Workshop on Testing, Analysis and Verification of Web Services, Boston, MA, July 2004, pp. 144-149.
-
(2004)
Workshop on Testing, Analysis and Verification of Web Services
, pp. 144-149
-
-
Xu, W.1
-
25
-
-
0038055403
-
A Framework for Systematic Testing of Software Specifications
-
T. Tsai, W. Xie, I. A. Zualkernan, S. K. Musukula, "A Framework for Systematic Testing of Software Specifications," in Proc. of International Conference on Software Engineering and Knowledge Engineering, 1993, pp. 380-387.
-
(1993)
Proc. of International Conference on Software Engineering and Knowledge Engineering
, pp. 380-387
-
-
Tsai, T.1
Xie, W.2
Zualkernan, I.A.3
Musukula, S.K.4
-
26
-
-
30344445036
-
Rapid Pattern-Oriented Scenario-Based Testing for Embedded Systems
-
edited by H. Yang, Idea Group Publishing, London
-
W. T. Tsai, R. Paul, L. Yu, X. Wei, "Rapid Pattern-Oriented Scenario-Based Testing for Embedded Systems," in Software Evolution with UML and XML, edited by H. Yang, Idea Group Publishing, London, 2005, pp. 222-262.
-
(2005)
Software Evolution with UML and XML
, pp. 222-262
-
-
Tsai, W.T.1
Paul, R.2
Yu, L.3
Wei, X.4
-
27
-
-
0344235388
-
-
W. T. Tsai, L. Yu, F. Zhu, R. Paul. Rapid Verification of Embedded Systems Using Patterns, Proceedings of IEEE Annual International Computer Software and Applications Conference, 2003. pp. 466-471
-
W. T. Tsai, L. Yu, F. Zhu, R. Paul. "Rapid Verification of Embedded Systems Using Patterns," Proceedings of IEEE Annual International Computer Software and Applications Conference, 2003. pp. 466-471.
-
-
-
-
28
-
-
0344128042
-
Verification Patterns for Rapid Embedded System Verification
-
ESA
-
W. T. Tsai, F. Zhu, L. Yu, R. Paul, and C. Fan, "Verification Patterns for Rapid Embedded System Verification," in Proceedings of International Conference on Embedded Systems and Applications (ESA), 2003. pp. 310-316.
-
(2003)
Proceedings of International Conference on Embedded Systems and Applications
, pp. 310-316
-
-
Tsai, W.T.1
Zhu, F.2
Yu, L.3
Paul, R.4
Fan, C.5
-
29
-
-
27544464506
-
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems
-
February
-
W.T. Tsai, Y. Chen, R. Paul, "Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems," Proc. of IEEE WORDS, Sedona, February 2005.
-
(2005)
Proc. of IEEE WORDS, Sedona
-
-
Tsai, W.T.1
Chen, Y.2
Paul, R.3
|