1799 search results - page 160 / 360 » The Logic of Correctness in Software Engineering |
158
click to vote
AADEBUG
1997
Springer
15 years 10 months ago
1997
Springer
This paper introduces the bisection debugging model. The key idea is to use a debugger to identify the semantic differences between two versions of the same program. The debugger ...
155
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Web macros give web browser users ways to "program" tedious tasks, allowing those tasks to be repeated more quickly and reliably than when performed by hand. Web macros ...
168
click to vote
ISESE
2006
IEEE
16 years 15 days ago
2006
IEEE
Spreadsheets are one of the most commonly used types of programs in the world, and it is important that they be sufficiently dependable. To help end users who create spreadsheets ...
152
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
The output of a disassembler is used for many different purposes (e.g., debugging and reverse engineering). Therefore, disassemblers represent the first link of a long chain of s...
157
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Many automated static analysis (ASA) tools have been developed in recent years for detecting software anomalies. The aim of these tools is to help developers to eliminate software...