3547 search results - page 226 / 710 » Pseudo-Exhaustive Testing for Software |
218
click to vote
ASWEC
2005
IEEE
16 years 26 days ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
166
click to vote
GECCO
2005
Springer
16 years 23 days ago
2005
Springer
Reactive real-time systems have to react to external events within time constraints: Triggered tasks must execute within deadlines. The goal of this article is to automate, based ...
164
click to vote
SIGCSE
2004
ACM
16 years 20 days ago
2004
ACM
We present software tools that support robust input processing and comprehensive testing in Java. The software includes the JPT library that supports error-checked typed input via...
179
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
235
click to vote
TRIDENTCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
The MeshTest testbed is designed to subject wireless devices and protocols to realistic and repeatable mobile scenarios, including multi-hop and disconnected topologies. The testb...