378 search results - page 38 / 76 » Automation of Java Code Analysis for Programming Exercises |
LOPSTR
2004
Springer
14 years 29 days ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
USS
2008
13 years 10 months ago
2008
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
BMCBI
2004
13 years 7 months ago
2004
Background: Very often genome-wide data analysis requires the interoperation of multiple databases and analytic tools. A large number of genome databases and bioinformatics applic...
OOPSLA
2004
Springer
14 years 29 days ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
ISSTA
2010
ACM
13 years 9 months ago
2010
ACM
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...