1016 search results - page 87 / 204 » Automatic Analysis of Programming Assignments |
131
Voted
CCS
2011
ACM
14 years 3 months ago
2011
ACM
We empirically analyzed sanitizer use in a shipping web application with over 400,000 lines of code and over 23,244 methods, the largest empirical analysis of sanitizer use of whi...
144
Voted
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
116
Voted
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
118
Voted
CISIS
2010
IEEE
15 years 10 months ago
2010
IEEE
—This paper presents a qualitative logic-based method for the steady-state analysis and revision of metabolic networks with inhibition. The approach is able to automatically revi...
129
Voted
POPL
2010
ACM
16 years 29 days ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...