9 search results - page 1 / 2 » fates 2005 |
FATES
2005
Springer
13 years 10 months ago
2005
Springer
ICNP
2005
IEEE
13 years 10 months ago
2005
IEEE
FATES
2005
Springer
13 years 10 months ago
2005
Springer
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...
FATES
2005
Springer
13 years 10 months ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
FATES
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...