9 search results - page 2 / 2 » Automated substring hole analysis |
CAV
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
SPIN
2012
Springer
11 years 7 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
WWW
2006
ACM
14 years 5 months ago
2006
ACM
As the popularity of the web increases and web applications become tools of everyday use, the role of web security has been gaining importance as well. The last years have shown a...
CCS
2005
ACM
13 years 10 months ago
2005
ACM
We present a technique for automatic placement of authorization hooks, and apply it to the Linux security modules (LSM) framework. LSM is a generic framework which allows diverse ...