15777 search results - page 2579 / 3156 » Software Engineering |
271
click to vote
FAABS
2004
Springer
16 years 13 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...
159
click to vote
FATES
2004
Springer
16 years 13 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...
180
click to vote
FATES
2004
Springer
16 years 13 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...
179
click to vote
FOSSACS
2004
Springer
16 years 13 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...
139
click to vote
FOSSACS
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. In order to study relative PCF-definability of boolean functions, we associate a hypergraph Hf to any boolean function f (following [3, 5]). We introduce the notion of t...