Supporting the analysis of bug prevalence in software product lines with product genealogy
Optical illution
Counterexample Generation for Separation-Logic-Based Proofs Arlen Cox Samin Ishtiaq Josh Berdine Christoph Wintersteiger.
Presented by Abirami Poonkundran. Introduction Current Work Current Tools Solution Tesseract Tesseract Usage Scenarios Information Flow.
Bug Tracking System A59
Log4j Print
Presented by Abirami Poonkundran
Program Analysis for Security
Counterexample Generation for Separation-Logic-Based Proofs
Introduction to CVS