16725 search results - page 2800 / 3345 » Engineering Software Correctness |
171
click to vote
EMSOFT
2004
Springer
16 years 11 days ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
187
click to vote
EMSOFT
2004
Springer
16 years 11 days ago
2004
Springer
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
155
click to vote
FATES
2004
Springer
16 years 11 days 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...
177
click to vote
FATES
2004
Springer
16 years 11 days ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
177
click to vote
FOSSACS
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...