5855 search results - page 83 / 1171 » Test generation and minimization with |
114
click to vote
SE
2008
15 years 2 months ago
2008
: In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria....
124
click to vote
SAM
2000
15 years 2 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...
113
click to vote
MEMICS
2010
14 years 8 months ago
2010
interpretation example conclusion Test-Case Generation for Embedded Binary ng Abstract Interpretation Thomas Reinbacher1 , J
ICSE
2008
IEEE-ACM
16 years 2 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 ...
FATES
2004
Springer
15 years 6 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...