9 search results - page 1 / 2 » fates 2005 |
FATES
2005
Springer
14 years 1 months ago
2005
Springer
ICNP
2005
IEEE
14 years 1 months ago
2005
IEEE
FATES
2005
Springer
14 years 1 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
14 years 1 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
14 years 1 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...