第29届国际软件工程大会® 2007年5月20日-26日

Demo Papers


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

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