Sciweavers

7766 search results - page 113 / 1554
» Testing Nondeterminate Systems
Sort
View
HASE
2007
IEEE
14 years 3 months ago
Model-Checker-Based Testing of LTL Specifications
Luis García, Steve Roach
HASE
2002
IEEE
14 years 2 months ago
Coyote: An XML-Based Framework for Web Services Testing
Web services received significant attention recently and several important web service platforms such as .NET are now available. The testing and evaluation of web services are imp...
Wei-Tek Tsai, Raymond A. Paul, Weiwei Song, Zhibin...
RSP
2005
IEEE
14 years 2 months ago
Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...