126
click to vote
FASE
2010
Springer
15 years 9 months ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...