9 search results - page 1 / 2 » fates 2005 |
154
click to vote
FATES
2005
Springer
16 years 10 hour 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 ...
169
click to vote
FATES
2005
Springer
16 years 10 hour 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...
144
click to vote
FATES
2005
Springer
16 years 10 hour 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...