4299 search results - page 86 / 860 » Concurrent Test Generation |
134
click to vote
SAM
2000
15 years 3 months ago
2000
Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across...
124
click to vote
MEMICS
2010
14 years 9 months ago
2010
interpretation example conclusion Test-Case Generation for Embedded Binary ng Abstract Interpretation Thomas Reinbacher1 , J
109
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
The Java-UML Lightweight Enumerator (JULE) tool implements a vitally important aspect of the framework for software tool certification - test suite generation. The framework uses ...
105
click to vote
FATES
2004
Springer
15 years 8 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
109
Voted
FORTE
1998
15 years 3 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...