2026 search results - page 172 / 406 » Tools for Test Case Generation |
158
click to vote
FDL
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper outlines some fundamental concepts for the development of a system design framework based on standard notations and common CASE tools. We describe an environment for HW...
168
click to vote
CASES
2000
ACM
15 years 10 months ago
2000
ACM
In this paper, we describe a software architecture supporting code generation from within Ptolemy II. Ptolemy II is a componentbased design tool intended for embedded and real-tim...
189
click to vote
CSMR
2005
IEEE
16 years 2 days ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...
183
click to vote
SEW
2007
IEEE
16 years 22 days ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
182
click to vote
CN
1999
15 years 6 months ago
1999
An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active t...