1412 search results - page 168 / 283 » The Value of Outsourced Software |
130
click to vote
SAC
2009
ACM
16 years 3 days ago
2009
ACM
We present a modular approach to implement adaptive decisions with existing scientific codes. Using a sophisticated system software tool based on the function call interception t...
170
click to vote
FASE
2009
Springer
16 years 3 days 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 ...
132
Voted
ICSE
2009
IEEE-ACM
16 years 3 days ago
2009
IEEE-ACM
It is labor-intensive to manually verify the outputs of a large set of tests that are not equipped with test oracles. Test selection helps to reduce this cost by selecting a small...
162
click to vote
VMCAI
2009
Springer
16 years 3 days ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
121
click to vote
KBSE
2009
IEEE
16 years 1 days ago
2009
IEEE
Given a program and an attack pattern (specified as a regular expression), we automatically generate string-based vulnerability signatures, i.e., a characterization that includes...