8398 search results - page 332 / 1680 » Optimal Software Testing |
195
click to vote
ARCS
2004
Springer
16 years 3 days 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...
168
click to vote
FATES
2004
Springer
16 years 3 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...
174
click to vote
FSTTCS
2004
Springer
16 years 3 days 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...
146
Voted
ICCHP
2004
Springer
16 years 3 days 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 ...
165
click to vote
HICSS
1998
IEEE
15 years 11 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 ...