A model checking based test case generation framework for web services

Y Zheng; J Zhou; P Krause; S Latifi

Back

A model checking based test case generation framework for web services

Conference presentation

Open access

Peer reviewed

A model checking based test case generation framework for web services

Y Zheng, J Zhou, P Krause and S Latifi

International Conference on Information Technology, Proceedings, pp.715-720

4th International Conference on Information Technology - New Generations (Las Vegas, NV, 02/04/2007 - 04/04/2007)

01/01/2007

Abstract

Science & Technology

Technology

Computer Science

Artificial Intelligence

Computer Science

Information Systems

Computer Science

Software Engineering

Imaging Science & Photographic Technology

Telecommunications

Computer Science

Files and links (2)

pdf

fulltext208.47 kBDownload View

Text Open Access

url

http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000246181000115&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=11d2a86992e85fb529977dad66a846d5View

Author

Metrics

313 File views/ downloads

36 Record Views

Details

Title: A model checking based test case generation framework for web services
Creators: Y Zheng
J Zhou
P Krause
S Latifi
Contributors: IEEE COMPUTER SOC (null)
Publication Details: International Conference on Information Technology, Proceedings, pp.715-720
Conference: 4th International Conference on Information Technology - New Generations (Las Vegas, NV, 02/04/2007 - 04/04/2007)
Date published: 01/01/2007
Date submitted: 27/05/2010
Identifiers: 99516972702346
Academic Unit: Department of Computer Science
Resource Type: Conference presentation

A model checking based test case generation framework for web services

Abstract

Files and links (2)

Metrics

Details

Usage Policy