Systems Analysis & Verification

Dynamic Analyses Publications

2008

Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, and Aarti Gupta: Dynamic Inference of Likely Data Preconditions over Predicates by Tree Learning. (ISSTA), July 2008

Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta: Mining Library Specifications Using Inductive Logic Programming, Intl. Conference on Software Engg. (ICSE), May 2008

2007

Sriram Sankaranarayanan, Richard Chang, Guofei Jiang and Franjo Ivancic: State Space Exploration using Feedback Constraint Generation and Monte-Carlo Sampling. In Proceedings of ESEC/FSE, September 2007.

Publications in Other Areas:

• Concurrency Analysis
• F-Soft Software Verification
• VeriSol Model Checking Platform
• Hybrid Systems
• SAT based Verification
• Others