822 search results - page 32 / 165 » Debugging Aspect-Enabled Programs |
TACAS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
LOPSTR
2001
Springer
14 years 2 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
ICLP
2007
Springer
14 years 3 months ago
2007
Springer
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Different from sequential programs, parallel programs possess their own characteristics which are difficult to analyze in the multi-process or multi-thread environment. This paper...
ISCA
2005
IEEE
14 years 3 months ago
2005
IEEE
Significant time is spent by companies trying to reproduce and fix the bugs that occur for released code. To assist developers, we propose the BugNet architecture to continuousl...