2 papers
cs.DC2021
Memory Leak Detection Algorithms in the Cloud-based Infrastructure
Anshul Jindal, Paul Staab, Pooja Kulkarni +3
A memory leak in an application deployed on the cloud can affect the availability and reliability of the application. Therefore, identifying and ultimately resolve it quickly is hi…
cs.SE2018
Automatically Assessing Vulnerabilities Discovered by Compositional Analysis
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…