3 citations · 5 across the 2 of their papers we have counts for
3 papers
cs.CR2018
Smart Greybox Fuzzing
Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa +2
Coverage-based greybox fuzzing (CGF) is one of the most successful methods for automated vulnerability detection. Given a seed file (as a sequence of bits), CGF randomly flips, del…
cs.PL2015★ 2 cited
Comparing Weakest Precondition and Weakest Liberal Precondition
Andrew E. Santosa
In this article we investigate the relationships between the classical notions of weakest precondition and weakest liberal precondition, and provide several results, namely that in…
cs.PL2011★ 3 cited
Symbolic Execution for Verification
Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa
In previous work, we presented a symbolic execution method which starts with a concrete model of the program but progressively abstracts away details only when these are known to b…