-
1
-
-
4544284873
-
Generating tests from counterexamples
-
Scotland, UK, May
-
D. Beyer, A. Chlipala, T. Henzinger, R. Jhala, and 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
-
3
-
-
0026219884
-
Enabling technology for knowledge sharing
-
Fall
-
R. Neches, R. Fikes, T. Finin, T. Gruber, R. Patil, T. Senator, and W. R. Swartout, "Enabling Technology For Knowledge Sharing", AI Magazine, Volume 12, No. 3, Fall, 1991
-
(1991)
AI Magazine
, vol.12
, Issue.3
-
-
Neches, R.1
Fikes, R.2
Finin, T.3
Gruber, T.4
Patil, R.5
Senator, T.6
Swartout, W.R.7
-
4
-
-
0033100902
-
Distributed repositories of highly expressive reusable ontologies
-
R. Fikes, A. Farquhar, "Distributed Repositories of Highly Expressive Reusable Ontologies", IEEE Intelligent Systems, 14(2): 74-79, 1999
-
(1999)
IEEE Intelligent Systems
, vol.14
, Issue.2
, pp. 74-79
-
-
Fikes, R.1
Farquhar, A.2
-
5
-
-
84883074104
-
Verification of web services using an enhanced UDDI server
-
W. T. Tsai, R. Paul, Z. Cao, L. Yu, A. Saimi, and 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
-
6
-
-
18744370279
-
Cooperative and group testing in verification of dynamic composite web services
-
September
-
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, in conjunction with COMPSAC, September 2004, pp. 170-173.
-
(2004)
Workshop on Quality Assurance and Testing of Web-Based Applications, in Conjunction with COMPSAC
, pp. 170-173
-
-
Tsai, W.T.1
Chen, Y.2
Paul, R.3
Liao, N.4
Huang, H.5
-
7
-
-
11144225854
-
A software reliability model for Web services
-
Cambridge, MA, September
-
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, September 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
-
8
-
-
30344475769
-
Developing and assuring trustworthy web services
-
submitted to, April
-
W. T. Tsai, X. Wei, Y. Chen, B. Xiao, R. Paul, and H. Huang, "Developing and Assuring Trustworthy Web Services", submitted to The 7th International Symposium on Autonomous Decentralized Systems (ISADS), April 2005
-
(2005)
The 7th International Symposium on Autonomous Decentralized Systems (ISADS)
-
-
Tsai, W.T.1
Wei, X.2
Chen, Y.3
Xiao, B.4
Paul, R.5
Huang, H.6
|