| 2016 |
|
Efficient Data-Race Detection with Dynamic Symbolic Execution |
| |
|
Autocorrelation-Based Detection of Infinite Loops at Runtime |
| |
|
Dynamic Symbolic Execution with Interpolation Based Path Merging |
| 2015 |
|
Dynamic Symbolic Execution using Eclipse CDT |
| |
|
Automated Generation of Buffer Overflows Quick Fixes using Symbolic Execution and SMT |
| |
|
Automated Detection of Information Flow Vulnerabilities in UML State Charts and C Code |
| |
|
A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops |
| 2014 |
|
Context-sensitive Detection of Information Exposure Bugs with Symbolic Execution |
| 2012 |
|
A Secure Architecture for Smart Meter Systems |
