6704 search results - page 117 / 1341 » Testing Scenario-Based Models |
121
click to vote
FORMATS
2009
Springer
15 years 9 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
115
Voted
DAC
1997
ACM
15 years 6 months ago
1997
ACM
This paper presents a novel approach for automatic test pattern generation of asynchronous circuits. The techniques used for this purpose assume that the circuit can only be exerc...
109
Voted
FLAIRS
2007
15 years 5 months ago
2007
In this paper we present a novel approach for patternconstrained test case generation. The generation of test cases with known characteristics is usually a non-trivial task. In co...
134
Voted
ECOWS
2008
Springer
15 years 4 months ago
2008
Springer
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
101
Voted
TCAD
2010
14 years 9 months ago
2010
Abstract--An efficient passivity test based on canonical projector techniques is proposed for descriptor systems (DSs) widely encountered in circuit and system modeling. The test f...