no code implementations • 24 Jul 2018 • Saahil Ognawala, Ricardo Nales Amato, Alexander Pretschner, Pooja Kulkarni
Compositional analysis, based on symbolic execution, is an automated testing method to find vulnerabilities in medium- to large-scale programs consisting of many interacting components.
Software Engineering
