182 search results - page 15 / 37 » Automatic patch generation by learning correct code |
123
click to vote
CCS
2005
ACM
15 years 5 months ago
2005
ACM
Large-scale attacks, such as those launched by worms and zombie farms, pose a serious threat to our network-centric society. Existing approaches such as software patches are simpl...
110
click to vote
SOSP
2007
ACM
15 years 9 months ago
2007
ACM
Commenting source code has long been a common practice in software development. Compared to source code, comments are more direct, descriptive and easy-to-understand. Comments and...
102
click to vote
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
We introduce an exemplar model that can learn and generate a region of interest around class instances in a training set, given only a set of images containing the visual class. T...
109
click to vote
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
The growing complexity of modern processors has made the development of highly efficient code increasingly difficult. Manually developing highly efficient code is usually expen...