Sciweavers

7766 search results - page 113 / 1554
» Testing Nondeterminate Systems
Sort
View
71
Voted
HASE
2007
IEEE
15 years 9 months ago
Model-Checker-Based Testing of LTL Specifications
Luis García, Steve Roach
89
Voted
RTSS
2007
IEEE
15 years 8 months ago
Fast Algorithms for Testing Fault-Tolerance of Sequenced Jobs with Deadlines
Marek Chrobak, Mathilde Hurand, Jiri Sgall
105
Voted
HASE
2002
IEEE
15 years 7 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
15 years 8 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...