3 citations · 5 across the 3 of their papers we have counts for
4 papers · 1 filter
TracerX: Dynamic Symbolic Execution with Interpolation
Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley +1
Dynamic Symbolic Execution (DSE) is an important method for the testing of programs. An important system on DSE is KLEE which inputs a C/C++ program annotated with symbolic variabl…
Shape Neutral Analysis of Graph-based Data-structures
Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap
Malformed data-structures can lead to runtime errors such as arbitrary memory access or corruption. Despite this, reasoning over data-structure properties for low-level heap manipu…
Incremental Quantitative Analysis on Dynamic Costs
Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali
In quantitative program analysis, values are assigned to execution traces to represent a quality measure. Such analyses cover important applications, e.g. resource usage. Examining…
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…