383 search results - page 2 / 77 » Unit testing concurrent software |
173
click to vote
FATES
2005
Springer
16 years 4 days 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...
142
Voted
XPU
2007
Springer
16 years 22 days ago
2007
Springer
247
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
191
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
158
Voted
CBSE
2009
Springer
16 years 1 months ago
2009
Springer