615 search results - page 58 / 123 » Automated Test Case Generation from Dynamic Models |
125
click to vote
ECBS
2007
IEEE
15 years 6 months ago
2007
IEEE
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
IJCAI
2007
15 years 3 months ago
2007
Mechanism design is the study of preference aggregation protocols that work well in the face of self-interested agents. We present the first general-purpose techniques for automa...
130
click to vote
DAC
2000
ACM
16 years 3 months ago
2000
ACM
In this paper we describe an area efficient power minimization scheme "Control Generated ClockingI` that saves significant amounts of power in datapath registers and clock dr...
115
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
101
click to vote
CSL
2004
Springer
15 years 2 months ago
2004
Springer
Two different systems are proposed for the task of capitalisation generation. The first system is a slightly modified speech recogniser. In this system, every word in the vocabula...