|
|
Demo Papers
Co-Chairs
Alex Orso, Georgia Tech, USA, 
Elisabetta di Nitto, Politecnico di Milano, Italy,  |
Software Evolution
Session Chair: Martin Robillard, Time: Thursday May 24 @ 11:00AM, Venue: Marquette/Lasalle
|
Spotlight: A Prototype Tool for Software Plans
David Coppit, Robert R. Painter, Meghan Revelle |
SoQueT: Query-Based Documentation of Crosscutting
Concerns
Marius Marin, Leon Moonen, Arie van Deursen |
SoftGUESS: Visualization and Exploration of Code Clones in Context
Eytan Adar and Miryung Kim |
Testing and Analysis
Session Chair: Andreas Zeller, Time: Thursday May 24 @ 02:00PM, Venue: Marquette/Lasalle
|
Kato: A Program Slicing Tool for Declarative Specifications
Engin Uzuncaova and Sarfraz Khurshid |
Korat: A Tool for Generating Structurally Complex Test
Inputs
Aleksandar Milićević, Saša Misailović, Darko Marinov,
Sarfraz Khurshid |
Crisp - A Fault Localization Tool for Java Programs
Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip |
Development, Integration, and Maintenance
Session Chair: John Grundy, Time: Friday May 25 @ 11:00AM, Venue: Hennepin/Carver
|
Suade: Topology-Based Searches for Software Investigation
Frédéric Weigand Warr and Martin P. Robillard |
SYNTHESIS: a tool for automatically assembling correct
and distributed component-based systems
Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli |
Presentations by Programmers for Programmers
Li-Te Cheng, Michael Desmond, Margaret-Anne Storey |
Modeling
Session Chair: Sebastian Uchitel, Time: Friday May 25 @ 02:00PM, Venue: Hennepin/Carver
|
UML/Analyzer: A Tool for the Instant Consistency Checking of UML
Models
Alexander Egyed |
Revel8or: Model Driven Capacity Planning Tool Suite
Liming Zhu, Yan Liu, Ngoc Bao Bui, Ian Gorton |
Tool Support for Developing Advanced Mechatronic Systems: Integrating
the Fujaba Real-Time Tool Suite with CAMeL-View
Sven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias
Tichy, Alfonso Gambuzza, Eckehard Münch, Henner Vöcking |
Informal Demos and Posters Reception
Time: Wednesday May 23 Evening, Venue: Symphony Ballroom |
Posters of the above demo papers will be on display, together with the
following short demo papers:
|
STRADA: A Tool for Scenario-based Feature-to-Code Trace Detection and Analysis
Alexander Egyed, Gernot Binder, Paul Grunbacher
|
UCSIM: A Tool for Simulating Use Case Scenarios
Praveen Jayaraman, Jon Whittle
|
Building Scalable Libraries with cJ
Shan Shan Huang, Yannis Smaragdakis
|
Mismar: a new approach to developer documentation
Barthelemy Dagenais, Harold Ossher
|
Decimal and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees
Josh J Dehlinger, Meredith Humphrey, Prasanna Padmanabhan, Robyn R Lutz
|
Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java
Alexander J Kinneer, Matthew B Dwyer, Gregg Rothermel
|
TAXI - A tool for XML-Based Testing
Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini
|
SHIWS: a Self-Healing Integrator for Web Services
Davide Tosi, Mauro Pezzè, Giovanni Denaro
|
SCL: Static Enforcement and Exploration of Developer Intent in Source Code
Daqing Hou
|
ACL2s: The ACL2 Sedan
Peter C Dillinger, Panagiotis Manolios
|
Trio2Promela: a model checker for temporal metric specifications
Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
|
Reliability Analysis of Concurrent Systems using LTSA
Genaína Nunes Rodrigues, David S. Rosenblum, Jonas Wolf
|
WebSob: A Tool for Robustness Testing of Web Services
Evan E Martin, Suranjana Basu, Tao Xie
|
ArchStudio 4: An Architecture-Based Meta-modeling Environment
Eric Matthew Dashofy
|
Dynamo and Self-Healing BPEL Compositions
Luciano Baresi, Sam Guinea
|
|
|
