9 citations · 16 across the 5 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.SE2013★ 3 cited
An Empirical Study of Path Feasibility Queries
Asankhaya Sharma
In this paper we present a comparative study of path feasibility queries generated during path exploration based software engineering methods. Symbolic execution based methods are…
cs.PL2013★ 9 cited
End to End Verification and Validation with SPIN
Asankhaya Sharma
Over the last several years the tools used for model checking have become more efficient and usable. This has enabled users to apply model checking to industrial-scale problems, ho…