383 search results - page 2 / 77 » Unit testing concurrent software |
FATES
2005
Springer
13 years 11 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...
XPU
2007
Springer
13 years 12 months ago
2007
Springer
CAV
2006
Springer
13 years 9 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...
VMCAI
2009
Springer
14 years 18 days 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...
CBSE
2009
Springer
14 years 12 days ago
2009
Springer