1148 search results - page 212 / 230 » Software engineering considered harmful |
117
click to vote
WWW
2004
ACM
16 years 1 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
102
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
100
Voted
EUROSYS
2008
ACM
15 years 9 months ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
107
Voted
EUROSYS
2008
ACM
15 years 9 months ago
2008
ACM
Hard disks contain data—frequently an irreplaceable asset of high monetary and non-monetary value. At the same time, hard disks are mechanical devices that consume power, are no...
109
Voted
ISESE
2005
IEEE
15 years 6 months ago
2005
IEEE
Test case prioritization techniques have been shown to be beneficial for improving regression-testing activities. With prioritization, the rate of fault detection is improved, thu...