5235 search results - page 484 / 1047 » Analysis of Multithreaded Programs |
264
click to vote
ICFEM
2010
Springer
15 years 6 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
234
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
This research demonstration presents the tool, Dynamic Interactive Views for Reverse Engineering (Diver). Diver supports software understanding through a trace focused user interf...
208
click to vote
ICFP
2003
ACM
16 years 7 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
194
click to vote
PLDI
2005
ACM
16 years 1 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
251
click to vote
ESOP
2001
Springer
16 years 3 days ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...