21183 search results - page 276 / 4237 » Adaptive Testing by Test |
171
click to vote
RTS
1998
15 years 6 months ago
1998
When developing multitasking real-time systems, schedulability tests are used to formally prove that a given task set will meet its deadlines. A wide range of such tests have appe...
183
click to vote
JSS
2008
15 years 5 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
150
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
161
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
We consider the problem of sequential hypothesis testing when the exact pdfs are not known but instead a set of iid samples are used to describe the hypotheses. We modify the clas...
134
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...