16725 search results - page 314 / 3345 » Engineering Software Correctness |
152
click to vote
TLDI
2005
ACM
15 years 10 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
133
click to vote
ISESE
2006
IEEE
15 years 10 months 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 ...
120
click to vote
ISSTA
2010
ACM
15 years 8 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...
130
click to vote
OSS
2007
Springer
15 years 10 months ago
2007
Springer
Some free software and open source projects have been extremely successful in the past. The success of a project is often related to the number of developers it can attract: a larg...
123
click to vote
ICST
2009
IEEE
15 years 11 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...