ICSE 2009: Cyber Home

A Toolset for Automated Failure Analysis (Presentation)
A-SCORE: Automatic Software Component Recommendation Using Coding Context (Poster)
Alitheia Core: An extensible software quality monitoring platform (Presentation)
An Experimental Platform to Characterize Software Comprehension Activities supported by Visualization (Poster)
Business Insight Toolkit: Flexible Pre-Requirements Modeling (Poster)
ClemanX: Incremental Clone Detection Tool for Evolving Software (Poster)
CloneDetective - A Workbench for Clone Detection Research (Presentation)
CocoViz with Ambient Audio Software Exploration (Presentation)
ConcernLines: A Timeline View of Co-Occurring Concerns (Presentation)
Concurrencer: a Tool for Retrofitting Concurrency into Sequential Java Applications via Libraries (Presentation)
ContextServ: A Platform for Rapid and Flexible Development of Context-Aware Web Services (Presentation)
DaTeC: Data Flow Testing of Java Classes (Poster)
Deconstructing Concurrency Heisenbugs (Presentation)
Demonstration of a Medical Device Integration and Coordination Framework (Poster)
DYVISE: Performance Analysis of Production Systems (Poster)
Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract (Presentation)
FeatureIDE: Tool Framework for Feature-Oriented Software Development (Presentation)
Feedback-Driven Requirements Engineering: The Heuristic Requirements Assistant (Presentation)
Footprinter: Round-trip Engineering via Scenario and State based Models (Poster)
Goal and Scenario Modeling, Analysis, and Transformation with jUCMNav (Poster)
InstantApps: A WYSIWYG Model-driven Interpreter for Web Applications (Poster)
ITACA: An Integrated Toolbox for the Automatic Composition and Adaptation of Web Services (Presentation)

JUnitMX: A Change-aware Unit Testing Tool (Presentation)
Ldiff: An Enhanced Line Differencing Tool (Presentation)
LuMiNous -- Model-Driven Assertion Generation for Runtime Failure Detection (Poster)
QMetric - A Metric Tool Suite for the Evaluation of Software Process Data (Poster)
RAIDE for Engineering Architecture-Based Self-Adaptive Systems (Poster)
REMAN: a Pro-active Reputation Management Infrastructure for Composite Web Services (Presentation)
Save-IDE - A Tool for Design, Analysis and Implementation of Component-Based Embedded Systems (Presentation)
SemDiff: Analysis and Recommendation Support for API Evolution (Presentation)
Semi-automated Traceability Maintenance: An Architectural Overview of traceMaintainer (Poster)
Slede: Framework for Automatic Verification of Sensor Network Security Protocol Implementations (Poster)
SmartTutor: Creating IDE-Based Interactive Tutorials via Editable Replay (Presentation)
Software Development Governor: Automating Governance in Software Development Environments (Poster)
Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite (Presentation)
Tesseract: Interactive Environment for Exploration of Project Relationships (Presentation)
TranStrL: An Automatic Need-to-Translate String Locator for Software Internationalization (Presentation)
UEMan: A Tool to Manage User Evaluation in Development Environments (Presentation)
VCC: Contract-based Modular Verification of Concurrent C (Poster)
Verifying Networked Programs Using a Model Checker Extension (Poster)
VIDA: Visual Interactive Debugging (Presentation)
Ćvol: A tool for Defining and Planning Architecture Evolution (Presentation)

A Toolset for Automated Failure Analysis (Presentation)
A-SCORE: Automatic Software Component Recommendation Using Coding Context (Poster)
Alitheia Core: An extensible software quality monitoring platform (Presentation)
An Experimental Platform to Characterize Software Comprehension Activities supported by Visualization (Poster)
Business Insight Toolkit: Flexible Pre-Requirements Modeling (Poster)
ClemanX: Incremental Clone Detection Tool for Evolving Software (Poster)
CloneDetective - A Workbench for Clone Detection Research (Presentation)
CocoViz with Ambient Audio Software Exploration (Presentation)
ConcernLines: A Timeline View of Co-Occurring Concerns (Presentation)
Concurrencer: a Tool for Retrofitting Concurrency into Sequential Java Applications via Libraries (Presentation)
ContextServ: A Platform for Rapid and Flexible Development of Context-Aware Web Services (Presentation)
DaTeC: Data Flow Testing of Java Classes (Poster)
Deconstructing Concurrency Heisenbugs (Presentation)
Demonstration of a Medical Device Integration and Coordination Framework (Poster)
DYVISE: Performance Analysis of Production Systems (Poster)
Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract (Presentation)
FeatureIDE: Tool Framework for Feature-Oriented Software Development (Presentation)
Feedback-Driven Requirements Engineering: The Heuristic Requirements Assistant (Presentation)
Footprinter: Round-trip Engineering via Scenario and State based Models (Poster)
Goal and Scenario Modeling, Analysis, and Transformation with jUCMNav (Poster)
InstantApps: A WYSIWYG Model-driven Interpreter for Web Applications (Poster)
ITACA: An Integrated Toolbox for the Automatic Composition and Adaptation of Web Services (Presentation)
JUnitMX: A Change-aware Unit Testing Tool (Presentation)
Ldiff: An Enhanced Line Differencing Tool (Presentation)
LuMiNous -- Model-Driven Assertion Generation for Runtime Failure Detection (Poster)
QMetric - A Metric Tool Suite for the Evaluation of Software Process Data (Poster)
RAIDE for Engineering Architecture-Based Self-Adaptive Systems (Poster)
REMAN: a Pro-active Reputation Management Infrastructure for Composite Web Services (Presentation)
Save-IDE - A Tool for Design, Analysis and Implementation of Component-Based Embedded Systems (Presentation)
SemDiff: Analysis and Recommendation Support for API Evolution (Presentation)
Semi-automated Traceability Maintenance: An Architectural Overview of traceMaintainer (Poster)
Slede: Framework for Automatic Verification of Sensor Network Security Protocol Implementations (Poster)
SmartTutor: Creating IDE-Based Interactive Tutorials via Editable Replay (Presentation)
Software Development Governor: Automating Governance in Software Development Environments (Poster)
Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite (Presentation)
Tesseract: Interactive Environment for Exploration of Project Relationships (Presentation)
TranStrL: An Automatic Need-to-Translate String Locator for Software Internationalization (Presentation)
UEMan: A Tool to Manage User Evaluation in Development Environments (Presentation)
VCC: Contract-based Modular Verification of Concurrent C (Poster)
Verifying Networked Programs Using a Model Checker Extension (Poster)
VIDA: Visual Interactive Debugging (Presentation)
Ćvol: A tool for Defining and Planning Architecture Evolution (Presentation)

A Toolset for Automated Failure Analysis (Presentation)

Link to poster and additional post-conference resources!

Authors:
Leonardo Mariani, University of Milano Bicocca, Italy;
Fabrizio Pastore, University of Milano Bicocca, Italy;
Mauro Pezzč, University of Milano Bicocca, Italy

Abstract:

Classic fault localization techniques can automatically provide information about the suspicious code blocks that are likely responsible for observed failures. This information is useful, but not sufficient to completely understand the causes of failing executions, which still require further (time-consuming) investigations to be exactly identified. A useful and comprehensive source of information is frequently given by the set of unexpected events that have been observed during failures. Sequences of unexpected events are usually simple to be interpret, and testers can guess the expected correct sequences of events from the faulty sequences. In this paper, we present a tool that automatically identifies anomalous events that likely caused failures, filters the possible false positives, and presents the resulting data by building views that show chains of cause-effect relations, i.e., views that show when anomalous events are induced by other anomalous events. The use of the technique to investigate a fault in the Tomcat application server is also presented in the paper.

A-SCORE: Automatic Software Component Recommendation Using Coding Context (Poster)

Authors:
Ryuji Shimada, Osaka University, Japan;
Yasuhiro Hayase, Osaka University, Japan;
Makoto Ichii, Osaka University, Japan;
Makoto Matsushita, Osaka University, Japan;
Katsuro Inoue, Osaka University, Japan

Abstract:

Software developers may miss opportunities to reuse since keyword-based search systems cannot provide reusable components without the developers' explicit input. This paper proposes an automatic component recommendation system which supports various usage scenarios. We will demonstrate a possible usage scenario of our system. Keywords: automatic recommendation, software reuse

Alitheia Core: An extensible software quality monitoring platform (Presentation)

Link to poster and additional post-conference resources!

Authors:
Georgios Gousios, Athens University of Economics and Business, Greece;
Diomidis Spinellis, Athens University of Economics and Business, Greece

Abstract:

Research in the fields of software quality and maintainability requires the analysis of large quantities of data, which often originate from open source software projects. Pre-processing data, calculating metrics, and synthesizing composite results from a large corpus of project artefacts is a tedious and error prone task lacking direct scientific value. The Alitheia Core tool is an extensible platform for software quality analysis that is designed specifically to facilitate software engineering research on large and diverse data sources, by integrating data collection and preprocessing phases with an array of analysis services, and presenting the researcher with an easy to use extension mechanism.

An Experimental Platform to Characterize Software Comprehension Activities supported by Visualization (Poster)

Authors:
Glauco de F. Carneiro, Federal University of Bahia (UFBA), Brazil;
Rodrigo Magnavita, Salvador University (UNIFACS), Brazil;
Manoel Mendonca, Federal University of Bahia (UFBA), Brazil

Abstract:

Software visualization has been pointed out as one of the solutions to overcome challenges that programmers face in understanding unfamiliar source code. Although very attractive visually, there is a lack of empirical evidence to support such claims. Our work proposes an extensible multi-view software visualization infrastructure. It is implemented as an Eclipse plug-in called SourceMiner that allows programmers to perform tasks supported by nontraditional visualization interfaces in the IDE. Its architecture is designed to facilitate the integration of new visualizations as well as new source code feature extraction functionalities. A querying view is integrated into the tool, allowing for the dynamic filtering of the modules rendered into the visualization interfaces. The whole infrastructure is conceived as an experimental platform. All actions performed by the programmer are captured in a log file. This facilitates the analysis of the IDE usage while programmers are performing specific software engineering tasks.

Business Insight Toolkit: Flexible Pre-Requirements Modeling (Poster)

Link to poster and additional post-conference resources!

Authors:
Harold Ossher, IBM T. J. Watson Research Center, USA;
Rachel Bellamy, IBM T. J. Watson Research Center, USA;
David Amid, IBM Haifa Research Laboratory, Israel;
Ateret Anaby-Tavor, IBM Haifa Research Laboratory, Israel;
Matt Callery, IBM T. J. Watson Research Center, USA;
Jackie De Vries, IBM T. J. Watson Research Center, USA;
Amit Fisher, IBM Haifa Research Laboratory, Israel;
Tom Frauenhofer, IBM T. J. Watson Research Center, USA;
Sophia Krasikov, IBM T. J. Watson Research Center, USA;
Ian Simmonds, IBM T. J. Watson Research Center, USA;
Michael Desmond, IBM T. J. Watson Research Center, , USA;
Cal Swart, IBM T. J. Watson Research Center, USA

Abstract:

Office tools are typically used for pre-requirements analysis, but are semantics free. Modeling tools require rigid conformance to metamodels. The Business Insight Toolkit (BITKit) is a prototype of a new kind of modeling tool, intended to offer the flexibility of office tools together with the advantages of modeling tools.

ClemanX: Incremental Clone Detection Tool for Evolving Software (Poster)

Authors:
Tung Nguyen, Iowa State University, USA;
Hoan Nguyen, Iowa State University, USA;
Nam Pham, Iowa State University, USA;
Jafar Al-Kofahi, Iowa State University, USA;
Tien Nguyen, Iowa State University, USA

Abstract:

Recent research results have shown more benefits of the management of code clones, rather than detecting and removing them. However, existing management approaches for code clone evolution are still unsatisfactory, and either incomplete or inefficient, due to the lack of incremental clone detection tool supports. In this paper, we introduce ClemanX, a novel incremental clone detection tool. Our empirical evaluation on real-world software project shows that ClemanX is highly efficient, complete, and precise.

CloneDetective - A Workbench for Clone Detection Research (Presentation)

Link to poster and additional post-conference resources!

Authors:
Elmar Juergens, Institut für Informatik, Technische Universität München, Germany;
Florian Deissenboeck, Institut für Informatik, Technische Universität München, Germany;
Benjamin Hummel, Institut für Informatik, Technische Universität München, Germany

Abstract:

Experimenting with new ideas in clone detection currently requires major resources for setting up the required infrastructure. This paper presents CloneDetective, an open source framework and tool chain for clone detection, which is especially geared towards configurability and extendability and thus supports the preparation and conduction of clone detection research.

CocoViz with Ambient Audio Software Exploration (Presentation)

Authors:
Sandro Boccuzzo, University of Zurich, Switzerland;
Harald C. Gall, University of Zurich, Switzerland

Abstract:

For ages we used our ears side by side with our ophthalmic stimuli to gather additional information, leading and supporting us in our visualization. Numerous software visualization techniques exist that aim to facilitate program comprehension. In this paper we discuss how we can support such software comprehension visualization with environmental audio and lead users to identify relevant aspects. We use cognitive visualization techniques and audio concepts described in our previous work to create an ambient audio software exploration (AASE) out of program entities (packages, classes ...) and their mapped properties. The concepts where implemented in a extended version of our tool called CocoViz. Our first results with the prototype shows that with this combination of visual and aural means we can provide additional information to lead users during program comprehension tasks.

ConcernLines: A Timeline View of Co-Occurring Concerns (Presentation)

Link to poster and additional post-conference resources!

Authors:
Christoph Treude, University of Victoria, Canada;
Margaret-Anne Storey, University of Victoria, Canada

Abstract:

Understanding the evolution of a software system requires understanding how information about the release history, non-functional requirements and project milestones relates to functional requirements on the software components. This short paper describes a new tool, called ConcernLines, that supports this cognitive process by visualizing co-occurring concerns over time.

Concurrencer: a Tool for Retrofitting Concurrency into Sequential Java Applications via Libraries (Presentation)

Authors:
Danny Dig, MIT, USA;
John Marrero, MIT, USA;
Michael Ernst, MIT, USA

Abstract:

This demo presents CONCURRENCER, which enables programmers to refactor sequential Java code into parallel code that uses the java.util.concurrent package. Empirical evaluation shows that CONCURRENCER refactors code effectively: CONCURRENCER correctly identifies and applies transformations that some open-source developers overlooked, and the converted code exhibits good speedup.

ContextServ: A Platform for Rapid and Flexible Development of Context-Aware Web Services (Presentation)

Authors:
Quan Z. Sheng, The University of Adelaide, Australia;
Sam Pohlenz, The University of Adelaide, Australia;
Jian Yu, The University of Adelaide, Australia;
Hoi Sim Wong, The University of Adelaide, Australia;
Anne H.H. Ngu, Texas State University, USA;
Z. Maamar

Abstract:

Context-aware Web services (CASs) are emerging as an important technology for building innovative context-aware applications. Unfortunately, complex CASs are still hard to build. This paper describes ContextServ, a platform for rapid development of CASs. ContextServ adopts model-driven development where CASs are specified using ContextUML and automatically generated executable implementations.

DaTeC: Data Flow Testing of Java Classes (Poster)

Link to poster and additional post-conference resources!

Authors:
Giovanni Denaro, University of Milano-Bicocca, Italy;
Alessandra Gorla, University of Lugano, Switzerland;
Mauro Pezze', University of Lugano, Switzerland

Abstract:

Many mature development processes use structural coverage metrics to monitor the quality of testing. Recent studies suggest that control flow testing criteria poorly address state-based behavior of object-oriented software. This paper presents DaTeC, a tool that provides useful coverage information of Java object states by implementing a novel contextual data-flow testing approach.

Deconstructing Concurrency Heisenbugs (Presentation)

Authors:
Thomas Ball, Microsoft Research, USA;
Sebastian Burckhardt, Microsoft Research, USA;
Madan Musuvathi, Microsoft Research, USA;
Shaz Qadeer, Microsoft Research, USA

Abstract:

Concurrency is pervasive in large systems. Unexpected interference among threads often results in ``Heisenbugs'' that are extremely difficult to reproduce and eliminate. We have implemented a tool called CHESS for finding and reproducing such bugs. When attached to a program, CHESS takes control of thread scheduling and uses efficient search techniques to drive the program through possible thread interleavings. This systematic exploration of program behavior enables CHESS to quickly uncover bugs that might otherwise have remained hidden for a long time. For each bug, CHESS consistently reproduces an erroneous execution manifesting the bug, thereby making it significantly easier to debug the problem. CHESS scales to large concurrent programs and has found numerous bugs in existing systems that had been tested extensively prior to being tested by CHESS. CHESS has been integrated into the test frameworks of many code bases inside Microsoft and is used by testers on a daily basis.

Demonstration of a Medical Device Integration and Coordination Framework (Poster)

Link to poster and additional post-conference resources!

Authors:
Andrew King, Kansas State University, United States;
Sam Proctor, Kansas State University, United States;
John Hatcliff, Kansas State University, United States;
Dan Andresen, Kansas State University, United States;
Steve Warren, Kansas State University, United States;
William Spees, U.S. Food and Drug Administration, United States;
Raoul Jetley, U.S. Food and Drug Administration, United States;
Sandy Weininger, U.S. Food and Drug Administration, United States;
Paul Jones, U.S. Food and Drug Administration, United States

Abstract:

This tool demonstration presents a framework for coordinating the activities of medical devices. The framework uses a publish-subscribe framework for communicating with and controlling devices and a model-driven component-based development environment for rapid implementation of device coordination tasks. A multi-faceted graphical user interface supports model-based development of device integrations.

DYVISE: Performance Analysis of Production Systems (Poster)

Link to poster and additional post-conference resources!

Authors:
Steven Reiss, Brown University, USA

Abstract:

We present a performance analysis framework targeted to server systems dealing with a variety of performance issues. The framework runs within a fixed user-set overhead. The tool's user interface shows the behavior of the system as it is happening and lets the user browse through the execution history.

Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract (Presentation)

Authors:
Mike Barnett, Microsoft, USA;
Manuel Fahndrich, Microsoft, USA;
Peli de Halleux, Microsoft, USA;
Francesco Logozzo, Microsoft, USA;
Nikolai Tillmann, Microsoft, USA

Abstract:

This demonstration presents two tools, Code Contracts and Pex, that utilize specification constructs for advanced testing, runtime checking, and static checking of object-oriented .NET programs.

FeatureIDE: Tool Framework for Feature-Oriented Software Development (Presentation)

Authors:
Christian Kästner, University of Magdeburg, Germany;
Thomas Thüm, University of Magdeburg, Germany;
Gunter Saake, University of Magdeburg, Germany;
Janet Feigenspan, Metop GmbH, Germany;
Thomas Leich, Metop GmbH, Germany;
Fabian Wielgorz, University of Passau, Germany;
Sven Apel, University of Passau, Germany

Abstract:

Tools support is crucial for the acceptance of a new programming language. However, providing such tool support is a huge investment that can usually not be provided for a research language. With FeatureIDE, we have built an IDE for AHEAD that integrates all phases of feature-oriented software development. To reuse this investment for other tools and languages, we refactored FeatureIDE into an open source framework that encapsulates the common ideas of feature-oriented software development and that can be reused and extended beyond AHEAD. Among others, we implemented extensions for FeatureC++ and FeatureHouse, but in general, FeatureIDE is open for everybody to showcase new research results and make them usable to a wide audience of students, researchers, and practitioners.

Feedback-Driven Requirements Engineering: The Heuristic Requirements Assistant (Presentation)

Link to poster and additional post-conference resources!

Authors:
Eric Knauss, Leibniz Universität Hannover, Germany;
Daniel Lübke, Leibniz Universität Hannover, Germany;
Sebastian Meyer, Leibniz Universität Hannover, Germany

Abstract:

The HeRA tool provides analysts with important information based on various feedback facilities. Feedback is directly given on the input to the editor. It is based on heuristic rules and on automatically derived models. When adding new requirements, analysts get feedback on how these requirements fit consistently into existing requirements.

Footprinter: Round-trip Engineering via Scenario and State based Models (Poster)

Link to poster and additional post-conference resources!

Authors:
Ankit Goel, National University of Singapore, Singapore;
Bikram Sengupta, IBM Research, India;
Abhik Roychoudhury, National University of Singapore, Singapore

Abstract:

In model-driven software development, while scenario-based models are closer to distributed system requirements, state-based models are suitable for code generation. Our tool `Footprinter' exploits relative strengths of these two modeling styles in a round-trip engineering approachâ€" from requirements, to test-case generation and execution, to tracing implementation defects back to requirements.

Goal and Scenario Modeling, Analysis, and Transformation with jUCMNav (Poster)

Authors:
Gunter Mussbacher, SITE, University of Ottawa, Canada;
Daniel Amyot, SITE, University of Ottawa, Canada

Abstract:

jUCMNav is an open-source Eclipse plug-in that supports the definition, analysis, transformation, and management of requirements engineering models expressed with the User Requirements Notation, recently approved as a standard (Recommendation Z.151) by the International Telecommunication Union. jUCMNav has been instrumental in prototyping and validating key concepts for URN research.

InstantApps: A WYSIWYG Model-driven Interpreter for Web Applications (Poster)

Link to poster and additional post-conference resources!

Authors:
Gautam Shroff, Tata Consultancy Services R&D, India;
Puneet Agarwal, Tata Consultancy Services R&D, India;
Premkumar Devanbu, University of California, Davis, United States

Abstract:

InstantApps is a WYSIWIG, model-driven interpreter for developing and running web based, database forms applications. An intuitive visual designer and support for complex (multi-table) forms, workflow as well as business logic (using a variant of Google’s MapReduce abstraction), distinguishes our approach from similar research and web based 'application development platforms'.

ITACA: An Integrated Toolbox for the Automatic Composition and Adaptation of Web Services (Presentation)

Link to poster and additional post-conference resources!

Authors:
Javier Cámara, University of Málaga, Spain;
José Antonio Martín, University of Málaga, Spain;
Gwen Salaün, University of Málaga, Spain;
Javier Cubo, University of Málaga, Spain;
Meriem Ouederni, University of Málaga, Spain;
Carlos Canal, University of Málaga, Spain;
Ernesto Pimentel, University of Málaga, Spain

Abstract:

Adaptation aims at automatically solving mismatch cases given at different interoperability levels among reusable Web service interfaces by synthesizing an adaptor. We present an integrated toolbox that fully supports the adaptation process, starting with the automatic extraction of protocols from existing interface descriptions, until the final adaptor implementation is generated.

JUnitMX: A Change-aware Unit Testing Tool (Presentation)

Authors:
Jan Wloka, Rutgers University, USA;
Barbara Ryder, Virginia Tech, USA;
Frank Tip, IBM T. J. Watson Research Center, USA

Abstract:

Developers use unit testing to improve software quality. Current tools, however, offer no aid for designing tests that exercise effects of program changes. The change-aware unit testing tool JUnitMX motivates and guides developers in writing more effective tests in providing change effect information and an achievable test coverage goal.

Ldiff: An Enhanced Line Differencing Tool (Presentation)

Authors:
Gerardo Canfora, University of Sannio, Dept of Engineering, Italy;
Luigi Cerulo, University of Sannio, Dept of Engineering, Italy;
Massimiliano Di Penta, University of Sannio, Dept of Engineering, Italy

Abstract:

This paper describes ldiff, an enhanced, language-independent line differencing tool. Ldiff builds upon the Unix diff and overcomes its limitations in determining whether an artifact line has been changed or results from additions and removals, and in tracking artifact fragments that have been moved upward or downward within the file.

LuMiNous -- Model-Driven Assertion Generation for Runtime Failure Detection (Poster)

Link to poster and additional post-conference resources!

Authors:
Mauro Pezze', University of Lugano, Switzerland;
Jochen Wuttke, University of Lugano, Switzerland

Abstract:

Well designed assertions improve overall software quality, ease debugging and maintenance, and support the construction of autonomic software systems. Although common in academia and industry, manually defining code assertions is hard and error-prone. In this paper, we present LuMiNous, a prototype that implements automatic assertion generation from model annotations.

QMetric - A Metric Tool Suite for the Evaluation of Software Process Data (Poster)

Link to poster and additional post-conference resources!

Authors:
Holger Schackmann, Research Group Software Construction, RWTH Aachen University, Germany;
Horst Lichter, Research Group Software Construction, RWTH Aachen University, Germany;
Martin Jansen, Research Group Software Construction, RWTH Aachen University, Germany;
Christoph Lischkowitz, Research Group Software Construction, RWTH Aachen University, Germany

Abstract:

Configuration and change request management systems offer valuable information for the assessment of process quality characteristics. We present the QMetric tool suite which provides a general infrastructure for specifying metrics, relating them to organization-specific quality models, and automatic evaluation based on empirical comparison data.

RAIDE for Engineering Architecture-Based Self-Adaptive Systems (Poster)

Link to poster and additional post-conference resources!

Authors:
Shang-Wen Cheng, Carnegie Mellon University, USA;
David Garlan, Carnegie Mellon University, USA

Abstract:

Rainbow is a customizable framework for engineering self-adaptive systems, with run-time, closed-loop control over target systems to monitor, detect, decide, and act on opportunities for system improvement. RAIDE allows adaptation engineers to customize the framework, simulate adaptation behavior, and deploy Rainbow run-time components in one workbench.

REMAN: a Pro-active Reputation Management Infrastructure for Composite Web Services (Presentation)

Link to poster and additional post-conference resources!

Authors:
Domenico Bianculli, University of Lugano - Faculty of Informatics, Switzerland;
Walter Binder, University of Lugano - Faculty of Informatics, Switzerland;
Mauro Luigi Drago, Politecnico di Milano - DEEP SE group DEI, Italy;
Carlo Ghezzi, Politecnico di Milano - DEEP SE group DEI, Italy

Abstract:

REMAN is a reputation management infrastructure for composite Web services. It supports the aggregation of client feedback on the perceived QoS of external services, using reputation mechanisms to build service rankings. Changes in rankings are pro-actively notified to composite service clients to enable self-tuning properties in their execution.

Save-IDE - A Tool for Design, Analysis and Implementation of Component-Based Embedded Systems (Presentation)

Link to poster and additional post-conference resources!

Authors:
Séverine Sentilles, Mälardalen University, Sweden;
Anders Pettersson, Mälardalen University, Sweden;
Dag Nyström, Mälardalen University, Sweden;
Thomas Nolte, Mälardalen University, Sweden;
Paul Pettersson, Mälardalen University, Sweden;
Ivica Crnkovic, Mälardalen University, Sweden

Abstract:

This paper presents Save-IDE, an Integrated Development Environment for the development of predictable component-based embedded systems. Save-IDE supports efficient development of dependable embedded systems by providing tools for design, formal specification and early analysis of component and system behaviors, and a fully automated transformation of the system into an executable.

SemDiff: Analysis and Recommendation Support for API Evolution (Presentation)

Link to poster and additional post-conference resources!

Authors:
Barthelemy Dagenais, McGill University, Canada;
Martin P. Robillard, McGill University, Canada

Abstract:

This paper describes SemDiff, a tool that recommends replacements for framework methods that were accessed by a client program and deleted during the evolution of the framework. SemDiff recommends replacements for non-trivial changes undiscovered by other change-detection techniques and also enables developers to look at the context of the changes.

Semi-automated Traceability Maintenance: An Architectural Overview of traceMaintainer (Poster)

Authors:
Patrick Mäder, Ilmenau Technical University, Germany;
Orlena Gotel, Pace University, New York, USA;
Ilka Philippow, Ilmenau Technical University, Germany

Abstract:

traceMaintainer supports an approach for maintaining post-requirements traceability relations after changes have been made to traced model elements. The update of traceability relations is based upon predefined rules, where each rule is intended to recognize a development activity. This paper provides an overview of traceMaintainer's architecture and major components.

Slede: Framework for Automatic Verification of Sensor Network Security Protocol Implementations (Poster)

Link to poster and additional post-conference resources!

Authors:
Youssef Hanna, Iowa State University, USA;
Hridesh Rajan, Iowa State University, USA

Abstract:

Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We will demonstrate Slede, a verification framework for sensor network applications. Key features include: extraction of models, automatic generation and composition of intrusion models, and verification of security properties.

SmartTutor: Creating IDE-Based Interactive Tutorials via Editable Replay (Presentation)

Authors:
Ying Zhang, School of Electronics Engineering and Computer Science, Peking University, China;
Gang Huang, School of Electronics Engineering and Computer Science, Peking University, China;
Nuyun Zhang, School of Electronics Engineering and Computer Science, Peking University, China;
Hong Mei, School of Electronics Engineering and Computer Science, Peking University, China

Abstract:

Interactive tutorials are good for novices to learn how to perform tasks in an IDE. Creating these tutorials often requires programming effort. We present SmartTutor in Eclipse, which uses editable replay of user actions to create interactive tutorials with little programming effort involved. We also conduct an evaluation on SmartTutor.

Software Development Governor: Automating Governance in Software Development Environments (Poster)

Link to poster and additional post-conference resources!

Authors:
Avi Yaeli, IBM Research, Israel;
Alex Kofman, IBM Research, Israel;
Yael Dubinsky, IBM Research, Israel

Abstract:

Software Development Governor is a tool that supports specification and enactment of governance. It enables specifying key decision points and policies throughout the lifecycle of artifacts and automating these specifications in software development environments. In this paper we describe the concepts on which Governor is built and present the tool.

Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite (Presentation)

Authors:
Stefan Henkler, University of Paderborn, Software Engineering Group, Germany;
Joel Greenyer, University of Paderborn, Software Engineering Group, Germany;
Martin Hirsch, University of Paderborn, Software Engineering Group, Germany;
Wilhelm Schäfer, University of Paderborn, Software Engineering Group, Germany;
Kathan Alhawash, University of Paderborn, Software Engineering Group, Germany;
Tobias Eckardt, University of Paderborn, Software Engineering Group, Germany;
Christian Heinzemann, University of Paderborn, Software Engineering Group, Germany;
Renate Löffler, University of Paderborn, Software Engineering Group, Germany;
Andreas Seibel, Hasso Plattner Insitute, System Analysis and Modeling Group, Germany;
Holger Giese, Hasso Plattner Insitute, System Analysis and Modeling Group, Germany

Abstract:

Based on a well-defined component architecture the tool supports the synthesis of so-called real-time statecharts from timed sequence diagrams. The two step synthesis process addresses the existing scalability problems by a proper decomposition and allows the user to define particular restrictions on the resulting statecharts.

Tesseract: Interactive Environment for Exploration of Project Relationships (Presentation)

Authors:
Larry Maccherone, Carnegie Mellon, USA;
Anita Sarma, Carnegie Mellon, USA;
Patrick Wagstrom, Carnegie Mellon, USA;
Jim Herbsleb, Carnegie Mellon, USA

Abstract:

Important insights can be gained by exploring the connections between project entities recorded in the siloed databases maintained by software projects. We have developed Tesseract, a software project archive browser that utilizes cross-linked displays to enable visual exploration of relationships between artifacts, developers, issues, and communications.

TranStrL: An Automatic Need-to-Translate String Locator for Software Internationalization (Presentation)

Authors:
Xiaoyin Wang, Institute of Software, School of Electronics Engineering and Computer Science, Key laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, 100871, China, P.R.China;
Lu Zhang, Institute of Software, School of Electronics Engineering and Computer Science, Key laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, 100871, China, P.R.China;
Tao Xie, Department of Computer Science, North Carolina State University, Raleigh, NC 27695, USA, USA;
Hong Mei, Institute of Software, School of Electronics Engineering and Computer Science, Key laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, 100871, China, P.R.China;
Jiasu Sun, Institute of Software, School of Electronics Engineering and Computer Science, Key laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, 100871, China, P.R.China

Abstract:

In this paper, we present TranStrL, an Eclipse plug-in that automatically locates need-to-translate constant strings in Java code. Our tool maintains a pre-collected list of API methods related to the Graphical User Interface (GUI), and then searches for need-to-translate strings from the invocations of these API methods using string-taint analysis.

UEMan: A Tool to Manage User Evaluation in Development Environments (Presentation)

Authors:
Shah Rukh Humayoun, Dipartimento di Informatica e Sistemistica “A. Ruberti” Sapienza Universitŕ di Roma, Italy;
Yael Dubinsky, IBM Haifa Research Lab, Israel;
Tiziana Catarci, Dipartimento di Informatica e Sistemistica “A. Ruberti” Sapienza Universitŕ di Roma, Italy

Abstract:

One of the challenges in software development is to collect and analyze the end users’ feedback in an effective and efficient manner. We present a tool to manage user evaluation alongside the process of software development from within the integrated development environment in order to provide high quality software products.

VCC: Contract-based Modular Verification of Concurrent C (Poster)

Link to poster and additional post-conference resources!

Authors:
Wolfram Schulte, Microsoft Research, USA;
Markus Dahlweid, EMIC, Germany;
Michal Moskal, EMIC, Germany;
Thomas Santen, EMIC, Germany;
Stephan Tobies, EMIC, Germany

Abstract:

Annotated C and the Verified C Compiler (VCC) form the first modular sound verification methodology for concurrent C that scales to real-world production code. VCC is currently used to verify the core of Microsoft Hyper-V, consisting of 50,000 lines of system-level C code.

Verifying Networked Programs Using a Model Checker Extension (Poster)

Link to poster and additional post-conference resources!

Authors:
Watcharin Leungwattanakit, The University of Tokyo, Japan;
Cyrille Artho, Research Center for Information Security, National Institute of Advanced Industrial Science and Technology, Japan;
Masami Hagiya, The University of Tokyo, Japan;
Yoshinori Tanabe, The University of Tokyo, Japan;
Mitsuharu Yamamoto, Chiba University, Japan

Abstract:

This paper proposes an extension for a Java model checker to support networked programs. It contains a cache module, which captures data streams between a target process and a peer process. Captured data are replayed by the cache module when a duplicate request is sent.

VIDA: Visual Interactive Debugging (Presentation)

Authors:
Dan Hao, Institute of Software, School of Electronics Engineering and Computer Science, Peking University, P. R. China;
Lingming Zhang, Institute of Software, School of Electronics Engineering and Computer Science, Peking University, P. R. China;
Lu Zhang, Institute of Software, School of Electronics Engineering and Computer Science, Peking University, P. R. China;
Jiasu Sun, Institute of Software, School of Electronics Engineering and Computer Science, Peking University, P. R. China;
Hong Mei, Institute of Software, School of Electronics Engineering and Computer Science, Peking University, P. R. China

Abstract:

We present VIDA, a visual interactive debugging tool, which has been integrated with the Eclipse IDE to support a programmer's debugging process. During the programmer's conventional debugging process, VIDA continuously recommends breakpoints for the programmer. Keywords: Tool, Debugging, Breakpoint, Eclipse IDE

Ćvol: A tool for Defining and Planning Architecture Evolution (Presentation)

Authors:
David Garlan, Carnegie Mellon University, USA;
Bradley Schmerl, Carnegie Mellon University, USA

Abstract:

Architecture evolution is a key feature of most software systems. There are few tools that help architects plan and execute these evolutionary paths. We demonstrate a tool to enable architects to describe evolution paths, associate properties with elements of the paths, and perform tradeoff analysis over these paths.

Research Demos

Demos