8398 search results - page 1086 / 1680 » Optimal Software Testing |
142
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
217
click to vote
FASE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
188
click to vote
FPGA
2009
ACM
16 years 2 months ago
2009
ACM
Despite the popularity and success of neural networks in research, the number of resulting commercial or industrial applications have been limited. A primary cause of this lack of...
162
Voted
ICSE
2009
IEEE-ACM
16 years 2 months ago
2009
IEEE-ACM
Code ownership transfer or succession is a crucial ingredient in open source code reuse and in offshoring projects. Measuring succession can help understand factors that affect ...
228
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...