3544 search results - page 242 / 709 » Software Testing |
186
click to vote
ARCS
2004
Springer
15 years 12 months ago
2004
Springer
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
164
click to vote
FATES
2004
Springer
15 years 12 months 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...
166
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
We consider the problem of determining whether a given set S in Rn is approximately convex, i.e., if there is a convex set K ∈ Rn such that the volume of their symmetric differe...
141
click to vote
ICCHP
2004
Springer
15 years 12 months ago
2004
Springer
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...
157
click to vote
HICSS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper describes the uses and architecture of a network-centered computing-rich software platform called PowerWeb. PowerWeb was designed and built as a simulation environment ...