|
|
Papers
- Evaluating the Effectiveness of
Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Matthew B. Dwyer, John Hatcliff,
Matthew Hoosier, Venkatesh Ranganath ,Robby, Todd Wallentine.
Accepted at Tools and Algorithms for the Construction and Analysis of Systems (TACAS) held as part of
ETAPS 2006.
This document describes an empirical evaluation of the effectiveness of Slicing as a model reduction
technique in the realm of verifying concurrent Java programs via software model checking.
- Slicing Concurrent
Java Programs using Indus and Kaveri -- Venkatesh Prasad Ranganath and John Hatcliff.
Submitted.
This document is in part an extension of the FASE 2005 effort titled "Kaveri: Delivering Indus Java Program
Slicer to Eclipse" with detailed exposition about the Indus program slicing framework and Kaveri.
- Enriching Component
Interfaces with Checkable Dependence Specifications -- Venkatesh Prasad Ranganath, Georg Jung, John
Hatcliff, and Matthew B. Dwyer.
Technical Report, SAnToS-TR2005-5, 2005. Last updated: September 10, 2005
This report describes how component interface specifications can be enriched with dependence and flow
information to enable automated checking based program dependences.
- A New Foundation For
Control-Dependence and Slicing for Modern Program Structures -- Venkatesh Prasad Ranganath, Torben Amtoft,
Anindya Banerjee, Matthew B. Dwyer, and John Hatcliff.
Accepted at European Symposium On Programming (ESOP'05) held as part of ETAPS 2005. (extended version)
This document provides new definitions for control and control-based dependences for
CFGs independent of the number of exit nodes and their reducibility. It also provides complete proofs for
correctness of slicing based on proposed definitions along with algorithms to calculate the proposed notions of
dependences.
|
