1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Saahil Ognawala, Ricardo Nales Amato, Alexander Pretschner +1
Testing is the most widely employed method to find vulnerabilities in real-world software programs. Compositional analysis, based on symbolic execution, is an automated testing met…