9 citations · 16 across the 5 of their papers we have counts for
5 papers
The Dynamics of Software Composition Analysis
Darius Foo, Jason Yeo, Hao Xiao +1
Developers today use significant amounts of open source code, surfacing the need for ways to automatically audit and upgrade library dependencies, and giving rise to the subfield o…
Automated Verification of Integer Overflow
Asankhaya Sharma
Integer overflow accounts for one of the major source of bugs in software. Verification systems typically assume a well defined underlying semantics for various integer operations…
Verified Subtyping with Traits and Mixins
Asankhaya Sharma
Traits allow decomposing programs into smaller parts and mixins are a form of composition that resemble multiple inheritance. Unfortunately, in the presence of traits, programming…
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…
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…