196 search results - page 3 / 40 » Extended Static Checking for Java |
SP
2002
IEEE
13 years 7 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
HASKELL
2006
ACM
14 years 1 months ago
2006
ACM
DAGSTUHL
2001
13 years 9 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
TOPLAS
2008
13 years 7 months ago
2008
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...