15778 search results - page 2813 / 3156 » Aikido and software engineering |
168
click to vote
EMSOFT
2004
Springer
16 years 5 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 ...
182
click to vote
EMSOFT
2004
Springer
16 years 5 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...
260
click to vote
FAABS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
151
click to vote
FATES
2004
Springer
16 years 5 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...
170
Voted
FATES
2004
Springer
16 years 5 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...