95 search results - page 7 / 19 » Dynamic slicing of multithreaded programs for race detection |
112
click to vote
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
109
click to vote
AADEBUG
2005
Springer
15 years 3 months ago
2005
Springer
Dynamic slicing algorithms have been considered to aid in debugging for many years. However, as far as we know, no detailed studies on evaluating the benefits of using dynamic sl...
SEFM
2009
IEEE
15 years 4 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
95
Voted
APSEC
2009
IEEE
15 years 1 months ago
2009
IEEE
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...
144
click to vote
VEE
2012
ACM
13 years 5 months ago
2012
ACM
Time Of Check To Time Of Use (TOCTTOU) race conditions for file accesses in user-space applications are a common problem in Unix-like systems. The mapping between filename and i...