Sciweavers

2 search results - page 1 / 1
» Comparing Intel Thread Checker and Sun Thread Analyzer
Sort
View
IFIP
2010
Springer
13 years 1 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...