-
1
-
-
84864486684
-
-
Paolucci, M., Kawamura, T., Payne, T.R., Sycara, K.: Semantic matching of web services capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, 2342, pp. 333-347. Springer, Heidelberg (2002)
-
Paolucci, M., Kawamura, T., Payne, T.R., Sycara, K.: Semantic matching of web services capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 333-347. Springer, Heidelberg (2002)
-
-
-
-
2
-
-
33646784358
-
INDISS: Interoperable discovery system for networked services
-
Alonso, G, ed, Middleware 2005, Springer, Heidelberg
-
Bromberg, Y.D., Issarny, V.: INDISS: Interoperable discovery system for networked services. In: Alonso, G. (ed.) Middleware 2005. LNCS, vol. 3790, pp. 164-183. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3790
, pp. 164-183
-
-
Bromberg, Y.D.1
Issarny, V.2
-
3
-
-
51849107635
-
Assumption-based composition and monitoring of web services
-
Springer, Heidelberg
-
Pistore, M., Traverso, P.: Assumption-based composition and monitoring of web services. In: Test and Analysis of web Services, pp. 307-335. Springer, Heidelberg (2007)
-
(2007)
Test and Analysis of web Services
, pp. 307-335
-
-
Pistore, M.1
Traverso, P.2
-
4
-
-
38349072103
-
-
Di Nitto, E., Di Penta, M., Gambi, A., Ripa, G., Villani, M.L.: Negotiation of service level agreements: An architecture and a search-based approach. In: Kramer, B.J., Lin, K.- J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, 4749, pp. 295-306. Springer, Heidelberg (2007)
-
Di Nitto, E., Di Penta, M., Gambi, A., Ripa, G., Villani, M.L.: Negotiation of service level agreements: An architecture and a search-based approach. In: Kramer, B.J., Lin, K.- J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 295-306. Springer, Heidelberg (2007)
-
-
-
-
5
-
-
33744965631
-
Towards dynamic monitoring of WS-BPEL processes
-
Benatallah, B, Casati, F, Traverso, P, eds, ICSOC 2005, Springer, Heidelberg
-
Baresi, L., Guinea, S.: Towards dynamic monitoring of WS-BPEL processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 269-282. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3826
, pp. 269-282
-
-
Baresi, L.1
Guinea, S.2
-
7
-
-
33644522395
-
Self-managing software
-
Hinchey, M.G., Sterritt, R.: Self-managing software. Computer 39, 107-109 (2006)
-
(2006)
Computer
, vol.39
, pp. 107-109
-
-
Hinchey, M.G.1
Sterritt, R.2
-
8
-
-
0142091714
-
Turning software into a service
-
Turner, M., Budgen, D., Brereton, P.: Turning software into a service. IEEE Computer 36, 38-44 (2003)
-
(2003)
IEEE Computer
, vol.36
, pp. 38-44
-
-
Turner, M.1
Budgen, D.2
Brereton, P.3
-
9
-
-
38049134473
-
Dependability properties of P2P architectures
-
Linkoping, Sweden, 5-7 September, 2002
-
Walkerdine, J., Melville, L., Sommerville, I.: Dependability properties of P2P architectures. In: 2nd International Conference on Peer-to-Peer Computing (P2P 2002), Linkoping, Sweden, 5-7 September 2002, pp. 173-174 (2002)
-
(2002)
2nd International Conference on Peer-to-Peer Computing (P2P
, pp. 173-174
-
-
Walkerdine, J.1
Melville, L.2
Sommerville, I.3
-
10
-
-
20444446006
-
Smart Monitors for Composed Services
-
ACM, New York
-
Baresi, L., Ghezzi, C., Guinea, S.: Smart Monitors for Composed Services. In: Proc. 2nd International Conference on Service Oriented Computing (ICSOC 2004), pp. 193-202. ACM, New York (2004)
-
(2004)
Proc. 2nd International Conference on Service Oriented Computing (ICSOC
, pp. 193-202
-
-
Baresi, L.1
Ghezzi, C.2
Guinea, S.3
-
11
-
-
33646721094
-
Testing services and service-centric systems: Challenges and opportunities
-
Canfora, G., Di Penta, M.: Testing services and service-centric systems: Challenges and opportunities. IT Professional 8, 10-17 (2006)
-
(2006)
IT Professional
, vol.8
, pp. 10-17
-
-
Canfora, G.1
Di Penta, M.2
-
12
-
-
13844296853
-
Parameterized object sensitivity for points-to analysis for Java
-
Milanova, A., Rountev, A., Ryder, B.G.: Parameterized object sensitivity for points-to analysis for Java. ACM Trans. Softw. Eng. Methodol. 14, 1-11 (2005)
-
(2005)
ACM Trans. Softw. Eng. Methodol
, vol.14
, pp. 1-11
-
-
Milanova, A.1
Rountev, A.2
Ryder, B.G.3
-
13
-
-
33744958621
-
Using test cases as contract to ensure service compliance across releases
-
Benatallah, B, Casati, F, Traverso, P, eds, ICSOC 2005, Springer, Heidelberg
-
Bruno, M., Canfora, G., Di Penta, M., Esposito, G., Mazza, V.: Using test cases as contract to ensure service compliance across releases. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 87-100. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3826
, pp. 87-100
-
-
Bruno, M.1
Canfora, G.2
Di Penta, M.3
Esposito, G.4
Mazza, V.5
-
14
-
-
55849083181
-
Web services regression testing
-
Baresi, L, Nitto, E.D, eds, Springer, Heidelberg
-
Di Penta, M., Bruno, M., Esposito, G., Mazza, V., Canfora, G.: Web services regression testing. In: Baresi, L., Nitto, E.D. (eds.) Test and Analysis of web Services, pp. 205-234. Springer, Heidelberg (2007)
-
(2007)
Test and Analysis of web Services
, pp. 205-234
-
-
Di Penta, M.1
Bruno, M.2
Esposito, G.3
Mazza, V.4
Canfora, G.5
-
15
-
-
0035250541
-
Dynamically discovering likely program invariants to support program evolution
-
Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE Trans. Software Eng. 27, 99-123 (2001)
-
(2001)
IEEE Trans. Software Eng
, vol.27
, pp. 99-123
-
-
Ernst, M.D.1
Cockrell, J.2
Griswold, W.G.3
Notkin, D.4
-
16
-
-
57349167281
-
Automatic generation of software behavioral models
-
Leipzig, Germany, May 10-18, 2008
-
Lorenzoli, D., Mariani, L., Pezze, M.: Automatic generation of software behavioral models. In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 501-510 (2008)
-
(2008)
30th International Conference on Software Engineering (ICSE
, pp. 501-510
-
-
Lorenzoli, D.1
Mariani, L.2
Pezze, M.3
-
17
-
-
77950536883
-
Efficient recovery of algebraic specifications for state- ful components
-
ACM, New York
-
Ghezzi, C., Mocci, A., Monga, M.: Efficient recovery of algebraic specifications for state- ful components. In: IWPSE 2007: Ninth international workshop on Principles of software evolution, pp. 98-105. ACM, New York (2007)
-
(2007)
IWPSE 2007: Ninth international workshop on Principles of software evolution
, pp. 98-105
-
-
Ghezzi, C.1
Mocci, A.2
Monga, M.3
-
18
-
-
3142725712
-
-
McMinn, P.: Search-based software test data generation: a survey. Softw. Test. Verif. Re- liab. 14, 105-156 (2004)
-
McMinn, P.: Search-based software test data generation: a survey. Softw. Test. Verif. Re- liab. 14, 105-156 (2004)
-
-
-
-
19
-
-
0035892582
-
Evolutionary test environment for automatic structural testing
-
Wegener, J., Baresel, A., Sthamer, H.: Evolutionary test environment for automatic structural testing. Information & Software Technology 43, 841-854 (2001)
-
(2001)
Information & Software Technology
, vol.43
, pp. 841-854
-
-
Wegener, J.1
Baresel, A.2
Sthamer, H.3
-
20
-
-
34548083386
-
Search-based testing of service level agreements
-
London, England, UK, July 7-11, 2007
-
Di Penta, M., Canfora, G., Esposito, G., Mazza, V., Bruno, M.: Search-based testing of service level agreements. In: Proceedings of Genetic and Evolutionary Computation Conference, GECCO 2007, London, England, UK, July 7-11, 2007, pp. 1090-1097 (2007)
-
(2007)
Proceedings of Genetic and Evolutionary Computation Conference, GECCO
, pp. 1090-1097
-
-
Di Penta, M.1
Canfora, G.2
Esposito, G.3
Mazza, V.4
Bruno, M.5
-
21
-
-
38049110290
-
-
Bertolino, A., Gao, J., Marchetti, E., Polini, A.: Systematic generation of XML instances to test complex software applications. In: Guelfi, N., Buchs, D. (eds.) RISE 2006. LNCS, 4401, pp. 114-129. Springer, Heidelberg (2007)
-
Bertolino, A., Gao, J., Marchetti, E., Polini, A.: Systematic generation of XML instances to test complex software applications. In: Guelfi, N., Buchs, D. (eds.) RISE 2006. LNCS, vol. 4401, pp. 114-129. Springer, Heidelberg (2007)
-
-
-
-
22
-
-
34548753383
-
TAXI - a tool for XML-based testing
-
Minneapolis, MN, USA, May 20-26, 2007
-
Bertolino, A., Gao, J., Marchetti, E., Polini, A.: TAXI - a tool for XML-based testing. In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 53-54 (2007)
-
(2007)
29th International Conference on Software Engineering (ICSE
, pp. 53-54
-
-
Bertolino, A.1
Gao, J.2
Marchetti, E.3
Polini, A.4
-
24
-
-
33845481821
-
Wsdl-based automatic test case generation for web services testing
-
IEEE Computer Society, Los Alamitos
-
Bai, X., Dong, W., Tsai, W.T., Chen, Y.: Wsdl-based automatic test case generation for web services testing. In: IEEE International Workshop on Service-Oriented System Engineering (SOSE), pp. 215-220. IEEE Computer Society, Los Alamitos (2005)
-
(2005)
IEEE International Workshop on Service-Oriented System Engineering (SOSE)
, pp. 215-220
-
-
Bai, X.1
Dong, W.2
Tsai, W.T.3
Chen, Y.4
-
25
-
-
47349095677
-
-
Conroy, K., Grechanik, M., Hellige, M., Liongosari, E., Xie, Q.: Automatic test generation from GUI applications for testing Web services. In: IEEE International Conference on Software Maintenance, ICSM 2007, pp. 345-354 (2007)
-
Conroy, K., Grechanik, M., Hellige, M., Liongosari, E., Xie, Q.: Automatic test generation from GUI applications for testing Web services. In: IEEE International Conference on Software Maintenance, ICSM 2007, pp. 345-354 (2007)
-
-
-
-
26
-
-
33749067617
-
BPEL4WS unit testing: Framework and implementation
-
Orlando, FL, USA, 11-15 July, 2005
-
Li, Z., Sun, W., Jiang, Z.B., Zhang, X.: BPEL4WS unit testing: Framework and implementation. In: 2005 IEEE International Conference on web Services (ICWS 2005), Orlando, FL, USA, 11-15 July 2005, pp. 103-110 (2005)
-
(2005)
2005 IEEE International Conference on web Services (ICWS
, pp. 103-110
-
-
Li, Z.1
Sun, W.2
Jiang, Z.B.3
Zhang, X.4
-
27
-
-
38849101700
-
A graph-search based approach to BPEL4WS test generation
-
Papeete, Tahiti, French Polynesia, October 28, November 2, 2006
-
Yuan, Y., Li, Z., Sun, W.: A graph-search based approach to BPEL4WS test generation. In: Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), Papeete, Tahiti, French Polynesia, October 28 - November 2, 2006, p. 14 (2006)
-
(2006)
Proceedings of the International Conference on Software Engineering Advances (ICSEA
, pp. 14
-
-
Yuan, Y.1
Li, Z.2
Sun, W.3
-
28
-
-
18744370279
-
-
Tsai, W.T, Chen, Y, Paul, R.A, Liao, N, Huang, H, Cooperative and group testing in verification of dynamic composite web services. In: 28th International Computer Software and Applications Conference (COMPSAC 2004, Design and Assessment of Trustworthy Software-Based Systems, Hong Kong, China, Proceedings, 27-30 September 2004, pp. 170-173 2004
-
Tsai, W.T., Chen, Y., Paul, R.A., Liao, N., Huang, H.: Cooperative and group testing in verification of dynamic composite web services. In: 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, Hong Kong, China, Proceedings, 27-30 September 2004, pp. 170-173 (2004)
-
-
-
-
30
-
-
48649083660
-
A framework for QoS-aware binding and re-binding of composite Web services
-
in press
-
Canfora, G., Di Penta, M., Esposito, R., Villani, M.L.: A framework for QoS-aware binding and re-binding of composite Web services. Journal of Systems and Software (in press, 2008)
-
(2008)
Journal of Systems and Software
-
-
Canfora, G.1
Di Penta, M.2
Esposito, R.3
Villani, M.L.4
-
31
-
-
32444451440
-
An approach for QoS-aware service composition based on genetic algorithms
-
Washington DC, USA, June 25-29, ACM Press, New York
-
Canfora, G., Di Penta, M., Esposito, R., Villani, M.L.: An approach for QoS-aware service composition based on genetic algorithms. In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1069-1075. ACM Press, New York (2005)
-
(2005)
Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings
, pp. 1069-1075
-
-
Canfora, G.1
Di Penta, M.2
Esposito, R.3
Villani, M.L.4
-
33
-
-
84952781389
-
Coyote: An XML-based framework for Web services testing
-
Tokyo, Japan, 23-25 October, 2002
-
Tsai, W.T., Paul, R.J., Song, W., Cao, Z.: Coyote: An XML-based framework for Web services testing. In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), Tokyo, Japan, 23-25 October 2002, pp. 173-176 (2002)
-
(2002)
7th IEEE International Symposium on High-Assurance Systems Engineering (HASE
, pp. 173-176
-
-
Tsai, W.T.1
Paul, R.J.2
Song, W.3
Cao, Z.4
-
34
-
-
33747405859
-
The audition framework for testing Web services interoperability
-
Porto, Portugal, 30 August, 3 September, IEEE Computer Society, Los Alamitos () 2005
-
Bertolino, A., Polini, A.: The audition framework for testing Web services interoperability. In: 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), Porto, Portugal, 30 August - 3 September 2005, pp. 134-142. IEEE Computer Society, Los Alamitos (2005)
-
(2005)
31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA
, pp. 134-142
-
-
Bertolino, A.1
Polini, A.2
-
35
-
-
57349166517
-
Data flow testing of service-oriented workflow applications
-
Leipzig, Germany, May 10-18, 2008
-
Mei, L., Chan, W.K., Tse, T.H.: Data flow testing of service-oriented workflow applications. In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 371-380 (2008)
-
(2008)
30th International Conference on Software Engineering (ICSE
, pp. 371-380
-
-
Mei, L.1
Chan, W.K.2
Tse, T.H.3
-
36
-
-
67049158970
-
Data flow-based validation of web services compositions: Perspectives and examples
-
de Lemos, V.R, Di Giandomenico, F, Muccini, H, Gacek, C, Vieira, M, eds, Springer, Heidelberg
-
Bartolini, C., Bertolino, A., Marchetti, E., Parissis, I.: Data flow-based validation of web services compositions: Perspectives and examples. In: de Lemos, V.R., Di Giandomenico, F., Muccini, H., Gacek, C., Vieira, M. (eds.) Architecting Dependable Systems. Springer, Heidelberg (2008)
-
(2008)
Architecting Dependable Systems
-
-
Bartolini, C.1
Bertolino, A.2
Marchetti, E.3
Parissis, I.4
-
37
-
-
34548812018
-
A faceted approach to service specification
-
Mauritius, May 13-19
-
Walkerdine, J., Hutchinson, J., Sawyer, P., Dobson, G., Onditi, V.: A faceted approach to service specification. In: International Conference on Internet and web Applications and Services (ICIW 2007), Le Morne, Mauritius, May 13-19, 2007, p. 20 (2007)
-
(2007)
International Conference on Internet and web Applications and Services (ICIW 2007), Le Morne
, pp. 20
-
-
Walkerdine, J.1
Hutchinson, J.2
Sawyer, P.3
Dobson, G.4
Onditi, V.5
-
38
-
-
33744954121
-
Speaking a common language: A conceptual model for describing service-oriented systems
-
Benatallah, B, Casati, F, Traverso, P, eds, ICSOC 2005, Springer, Heidelberg
-
Colombo, M., Di Nitto, E., Di Penta, M., Distante, D., Zuccala, M.: Speaking a common language: A conceptual model for describing service-oriented systems. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 48-60. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3826
, pp. 48-60
-
-
Colombo, M.1
Di Nitto, E.2
Di Penta, M.3
Distante, D.4
Zuccala, M.5
-
39
-
-
67049142181
-
Using acceptance tests as a support for clarifying requirements: A series of experiments
-
in press
-
Ricca, F., Torchiano, M., Di Penta, M., Mariano Ceccato, P.T.: Using acceptance tests as a support for clarifying requirements: A series of experiments. Information and Software Technology (in press, 2008)
-
(2008)
Information and Software Technology
-
-
Ricca, F.1
Torchiano, M.2
Di Penta, M.3
Mariano Ceccato, P.T.4
-
41
-
-
37349123096
-
-
Dai, G, Bai, X, Wang, Y, Dai, F, Contract-based testing for web services. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007, Beijing, China, 24-27 July 2007, pp. 517-526 2007
-
Dai, G., Bai, X., Wang, Y., Dai, F.: Contract-based testing for web services. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), Beijing, China, 24-27 July 2007, pp. 517-526 (2007)
-
-
-
-
43
-
-
35348823102
-
Towards automating regression test selection for Web services
-
Banff, Alberta, Canada, May 8-12, 2007
-
Ruth, M., Tu, S.: Towards automating regression test selection for Web services. In: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007, pp. 1265-1266 (2007)
-
(2007)
Proceedings of the 16th International Conference on World Wide Web, WWW
, pp. 1265-1266
-
-
Ruth, M.1
Tu, S.2
-
44
-
-
37349019315
-
-
Ruth, M, Oh, S, Loup, A, Horton, B, Gallet, O, Mata, M, Tu, S, Towards automatic regression test selection for Web services. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007, Beijing, China, 24-27 July 2007, pp. 729-736 2007
-
Ruth, M., Oh, S., Loup, A., Horton, B., Gallet, O., Mata, M., Tu, S.: Towards automatic regression test selection for Web services. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), Beijing, China, 24-27 July 2007, pp. 729-736 (2007)
-
-
-
-
45
-
-
0031125046
-
A safe, efficient regression test selection technique
-
Rothermel, G., Harrold, M.J.: A safe, efficient regression test selection technique. ACM Trans. Softw. Eng. Methodol. 6, 173-210 (1997)
-
(1997)
ACM Trans. Softw. Eng. Methodol
, vol.6
, pp. 173-210
-
-
Rothermel, G.1
Harrold, M.J.2
-
46
-
-
34548742848
-
WebSob: A tool for robustness testing of web services
-
Minneapolis, MN, USA, May 20-26, 2007
-
Martin, E., Basu, S., Xie, T.: WebSob: A tool for robustness testing of web services. In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 65-66 (2007)
-
(2007)
29th International Conference on Software Engineering (ICSE
, pp. 65-66
-
-
Martin, E.1
Basu, S.2
Xie, T.3
-
47
-
-
46849084352
-
Automated testing and response analysis ofweb services
-
Salt Lake City, Utah, USA, July 9-13, 2007
-
Martin, E., Basu, S., Xie, T.: Automated testing and response analysis ofweb services. In: 2007 IEEE International Conference on web Services (ICWS 2007), Salt Lake City, Utah, USA, July 9-13, 2007, pp. 647-654 (2007)
-
(2007)
2007 IEEE International Conference on web Services (ICWS
, pp. 647-654
-
-
Martin, E.1
Basu, S.2
Xie, T.3
-
48
-
-
4444334164
-
JCrasher: An automatic robustness tester for Java
-
Csallner, C., Smaragdakis, Y.: JCrasher: an automatic robustness tester for Java. Softw. Pract. Exper. 34, 1025-1050 (2004)
-
(2004)
Softw. Pract. Exper
, vol.34
, pp. 1025-1050
-
-
Csallner, C.1
Smaragdakis, Y.2
-
49
-
-
13844249715
-
Testing of Java Web services for robustness
-
Boston, Massachusetts, USA, July 11-14, 2004
-
Fu, C., Ryder, B.G., Milanova, A., Wonnacott, D.: Testing of Java Web services for robustness. In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004, pp. 23-34 (2004)
-
(2004)
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA
, pp. 23-34
-
-
Fu, C.1
Ryder, B.G.2
Milanova, A.3
Wonnacott, D.4
-
50
-
-
77049113250
-
Service composition (re)Binding driven by application-specific qoS
-
Dan, A, Lamersdorf, W, eds, ICSOC 2006, Springer, Heidelberg
-
Canfora, G., Di Penta, M., Esposito, R., Perfetto, F., Villani, M.L.: Service composition (re)Binding driven by application-specific qoS. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 141-152. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4294
, pp. 141-152
-
-
Canfora, G.1
Di Penta, M.2
Esposito, R.3
Perfetto, F.4
Villani, M.L.5
-
51
-
-
0011994745
-
Fault injection for the masses
-
Voas, J.M.: Fault injection for the masses. IEEE Computer 30, 129-130 (1997)
-
(1997)
IEEE Computer
, vol.30
, pp. 129-130
-
-
Voas, J.M.1
-
52
-
-
18744365284
-
Generating test cases for Web services using data perturbation
-
TAV-WEB
-
Offutt, J., Xu, W.: Generating test cases for Web services using data perturbation. In: SIG- SOFT Softw. Eng. Notes - SECTION: Workshop on testing, analysis and verification of Web services (TAV-WEB), vol. 29, pp. 1-10 (2004)
-
(2004)
SIG- SOFT Softw. Eng. Notes - SECTION: Workshop on testing, analysis and verification of Web services
, vol.29
, pp. 1-10
-
-
Offutt, J.1
Xu, W.2
-
53
-
-
0004097670
-
-
2nd edn. International Thomson Computer Press
-
Beizer, B.: Software Testing Techniques, 2nd edn. International Thomson Computer Press (1990)
-
(1990)
Software Testing Techniques
-
-
Beizer, B.1
-
54
-
-
18844428091
-
-
Looker, N, Munro, M, Xu, J, Ws-fit: A tool for dependability analysis of Web services. In: Proceedings of 28th International Computer Software and Applications Conference (COMP- SAC 2004, Design and Assessment of Trustworthy Software-Based Systems, Hong Kong, China, 27-30 September 2004, pp. 120-123 2004
-
Looker, N., Munro, M., Xu, J.: Ws-fit: A tool for dependability analysis of Web services. In: Proceedings of 28th International Computer Software and Applications Conference (COMP- SAC 2004), Design and Assessment of Trustworthy Software-Based Systems, Hong Kong, China, 27-30 September 2004, pp. 120-123 (2004)
-
-
-
-
55
-
-
34247515603
-
-
Tsai, W.T, Gao, J, Wei, X, Chen, Y, Testability of software in service-oriented architecture. In: 30th Annual International Computer Software and Applications Conference (COMPSAC 2006, Chicago, Illinois, USA, 17-21 September 2006, pp. 163-170 2006
-
Tsai, W.T., Gao, J., Wei, X., Chen, Y.: Testability of software in service-oriented architecture. In: 30th Annual International Computer Software and Applications Conference (COMPSAC 2006), Chicago, Illinois, USA, 17-21 September 2006, pp. 163-170 (2006)
-
-
-
-
56
-
-
84952775605
-
Extending WSDL to facilitate Web services testing
-
Tokyo, Japan, 23-25 October, 2002
-
Tsai, W.T., Paul, R.J., Wang, Y., Fan, C., Wang, D.: Extending WSDL to facilitate Web services testing. In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), Tokyo, Japan, 23-25 October 2002, pp. 171-172 (2002)
-
(2002)
7th IEEE International Symposium on High-Assurance Systems Engineering (HASE
, pp. 171-172
-
-
Tsai, W.T.1
Paul, R.J.2
Wang, Y.3
Fan, C.4
Wang, D.5
-
57
-
-
84883074104
-
Verification of Web services using an enhanced UDDI server
-
Tsai, W.T., Paul, R.J., Cao, Z., Yu, L., Saimi, A.: Verification of Web services using an enhanced UDDI server. In: Proceedings of the Eighth International Workshop on Object- Oriented Real-Time Dependable Systems, pp. 131-138 (2003)
-
(2003)
Proceedings of the Eighth International Workshop on Object- Oriented Real-Time Dependable Systems
, pp. 131-138
-
-
Tsai, W.T.1
Paul, R.J.2
Cao, Z.3
Yu, L.4
Saimi, A.5
-
58
-
-
24644510437
-
-
Heckel, R., Mariani, L.: Automatic conformance testing of web services. In: Cerioli, M. (ed.) FASE 2005. LNCS, 3442, pp. 34-48. Springer, Heidelberg (2005)
-
Heckel, R., Mariani, L.: Automatic conformance testing of web services. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 34-48. Springer, Heidelberg (2005)
-
-
-
-
59
-
-
15744379239
-
-
Heckel, R., Lohmann, M.: Towards contract-based testing of web services. Electr. Notes Theor. Comput. Sci. 116, 145-156 (2005)
-
Heckel, R., Lohmann, M.: Towards contract-based testing of web services. Electr. Notes Theor. Comput. Sci. 116, 145-156 (2005)
-
-
-
-
60
-
-
37349043548
-
-
Bai, X, Xu, D, Dai, G, Dynamic reconfigurable testing of service-oriented architecture. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007, Beijing, China, 24-27 July 2007, pp. 368-378 2007
-
Bai, X., Xu, D., Dai, G.: Dynamic reconfigurable testing of service-oriented architecture. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), Beijing, China, 24-27 July 2007, pp. 368-378 (2007)
-
-
-
-
61
-
-
38148999652
-
-
Bertolino, A., De Angelis, G., Polini, A.: A QoS test-bed generator for web services. In: Baresi, L., Fraternali, P., Houben, G.-J. (eds.) ICWE 2007. LNCS, 4607, pp. 17-31. Springer, Heidelberg (2007)
-
Bertolino, A., De Angelis, G., Polini, A.: A QoS test-bed generator for web services. In: Baresi, L., Fraternali, P., Houben, G.-J. (eds.) ICWE 2007. LNCS, vol. 4607, pp. 17-31. Springer, Heidelberg (2007)
-
-
-
-
62
-
-
84871229786
-
Model-Based Generation of Test- beds for Web Services
-
Suzuki, K, Higashino, T, Ulrich, A, Hasegawa, T, eds, Test- Com/FATES 2008, Springer, Heidelberg
-
Bertolino, A., De Angelis, G., Frantzen, L., Polini, A.: Model-Based Generation of Test- beds for Web Services. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) Test- Com/FATES 2008. LNCS, vol. 5047, pp. 266-282. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5047
, pp. 266-282
-
-
Bertolino, A.1
De Angelis, G.2
Frantzen, L.3
Polini, A.4
-
64
-
-
67049108230
-
A scalable architecture for discovery and composition in P2P service networks
-
Springer, Heidelberg
-
Forestiero, A., Mastroianni, C., Papadakis, H., Fragopoulou, P., Troisi, A., Zimeo, E.: A scalable architecture for discovery and composition in P2P service networks. In: Grid Computing: Achievements and Prospects. Springer, Heidelberg (2008)
-
(2008)
Grid Computing: Achievements and Prospects
-
-
Forestiero, A.1
Mastroianni, C.2
Papadakis, H.3
Fragopoulou, P.4
Troisi, A.5
Zimeo, E.6
|