3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PL2016
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…
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…