Todd Wallentine
Members of the SAnToS Laboratory at KSU and the ESQuaReD Laboartory at UNL collaborated in publishing a conference paper at TACAS 2006.
The paper titled "Evaluating the Effectiveness of Slicing on Model Reduction of Concurrent Object-Oriented Programs" was authored by Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Ranganath, Robby, and Todd Wallentine. The paper presents experimental evidence that demonstrates the benefits of using slicing as a fully automatic model reduction technique using the Bandera model checking framework,the Indus program slicer, and the Bogor model checker. The experiments considered a number of Java systems with varying structural properties, the effects of combining slicing with other well-known model reduction techniques (such as partial order reduction), and the effects of slicing for different classes of properties. The conclusion is that slicing concurrent object-oriented source code provides significant reductions that are orthogonal to a number of other reduction techniques, and that slicing should always be applied due to its automation and low computational costs. Furthermore, slicing appears to be particularly useful for removing large amounts of irrelevant library code which is a capability that seems crucial for dealing with realistic software systems.
TACAS (Tools and Algorithms for the Construction and Analysis of Systems) was held in Vienna, Austria on March 25 - April 2, 2006 as part of ETAPS (European Joint Conferences on Theory and Practice of Software). John Hatcliff traveled to present the research materials to a very receptive audience.
The paper is available here:
https://projects.cis.ksu.edu/docman/view.php/6/119/tacas06-bandera.pdf  Discussions |
|
