Results 71 to 80 of about 27,292 (214)
Correctness debugging of message passing programs using model verification techniques
, 2007 During the correctness debugging of non-deterministic message-passing programs the software engineers must face the probe effect, the irreproducibility, the completeness problem, and also the large state-space to be discovered. This work attempts to over-
Lovas, R., Kacsuk, P.
core +1 more source
Collision-Based 3D Layout Algorithm for On-line Graph Visualization in DIVA [PDF]
, 2011 [[abstract]]Because of the increase in complexity of software programs, debugging without help from tools is no longer adequate. Therefore, debugger has become an important tool in programmer’s everyday life.
曾建智
core
Integrating software testing and run-time checking in an assertion verification framework [PDF]
, 2009 We have designed and implemented a framework that unifies unit testing and run-time verification (as well as static verification and static debugging). A key contribution of our approach is that a unified assertion language is used for all of these tasks.
Edison Mera +5 more
core +1 more source
An assertion language for constraint logic programs
, 2000 In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways.
Francisco Bueno +5 more
core +1 more source
Acta Psychologica, 1991 Abstract This paper proposes a view of computer program debugging, which tackles some of the simplifying short-comings of existing models. The paper begins by reviewing some of the existing models of debugging and their assumptions, before looking in more detail at one of the dominant paradigms for investigating debugging, that of predicting bug ...
openaire +2 more sources
Spectrum-Based Fault Localization via Enlarging Non-Fault Region to Improve Fault Absolute Ranking
IEEE Access, 2018 Spectrum-based fault localization (SFL) is a popular lightweight automatic software fault localization technique that uses coverage information of program execution to compute the likelihood of root cause of failure(s) for each program component and ...
Yong Wang +3 more
doaj +1 more source
Statistically Debugging Massively-Parallel Applications
, 2013 Statistical debugging identifies program behaviors that are highly correlated with failures. Traditionally, this approach has been applied to desktop software on which it is effective in identifying the causes that underlie several difficult
de Supinski, Bronis R. +5 more
core
One Right Does Make a Wrong [PDF]
, 2006 Algorithmic debugging is a semi-automatic method for locating bugs in programs. An algorithmic debugger asks a user a series of questions about the intended behaviour of the program.
Davie, Thomas, Chitil, Olaf
core
, 1998 We discuss a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization.
Francisco Bueno +8 more
core +1 more source
An MCP Tool for Bug Localization by Leveraging Modification Frequencies of Similar Bug Reports
IEEE AccessDuring software maintenance, developers spend a considerable amount of time locating the source of bugs. Despite the advent of LLMs and vibe coding, accurately identifying the locations for bug fixes in large-scale codebases remains a persistent ...
Jongsun Ahn, Seonah Lee, Sungwon Kang
doaj +1 more source