161 search results - page 3 / 33 » Automated atomicity-violation fixing |
ISSRE
2008
IEEE
14 years 1 months ago
2008
IEEE
A critical problem facing today’s internet community is the increasing number of attacks exploiting flaws found in Web applications. This paper specifically targets input valida...
ICST
2010
IEEE
13 years 6 months ago
2010
IEEE
—Although many static-analysis techniques have been developed for automatically detecting bugs, such as null dereferences, fewer automated approaches have been presented for anal...
EJASP
2010
13 years 2 months ago
2010
In this work we propose a fully automated active contours based method for the detection and the segmentation of a moored manufactured object in an underwater image. Detection of o...
ICLP
2001
Springer
13 years 12 months ago
2001
Springer
In the paper we establish the xed-parameter complexity for several parameterized decision problems involving models, supported models and stable models of logic programs. We also e...
CEC
2008
IEEE
14 years 1 months ago
2008
IEEE
— Many tasks in Software Engineering are very expensive, and that has led the investigation to how to automate them. In particular, Software Testing can take up to half of the re...