Powered by
2012 34th International Conference on Software Engineering (ICSE),
June 2–9, 2012,
Zurich, Switzerland
Posters and Informal Demonstrations
Posters
Thu, Jun 7, 15:00 - 16:00
Augmenting Test Suites Automatically
Konstantin Rubinov and Jochen Wuttke
(University of Lugano, Switzerland; University of Washington, USA)
We present an approach to augment test suites with automatically generated integration test cases. Our approach utilizes existing test cases to direct generation towards producing complex object
interactions and execution sequences that have not been observed before.
@InProceedings{ICSE12p1432,
author = {Konstantin Rubinov and Jochen Wuttke},
title = {Augmenting Test Suites Automatically},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1432--1433},
doi = {},
year = {2012},
}
Using the GPGPU for Scaling Up Mining Software Repositories
Rina Nagano, Hiroki Nakamura, Yasutaka Kamei,
Bram Adams, Kenji Hisazumi, Naoyasu Ubayashi, and Akira Fukuda
(Kyushu University, Japan; École Polytechnique de Montréal, Canada)
The Mining Software Repositories (MSR) field integrates and analyzes data stored in repositories such as source control and bug repositories to support practitioners. Given the abundance of repository data, scaling up MSR analyses has become a major challenge. Recently, researchers have experimented with conventional techniques like a super-computer or cloud computing, but these are either too expensive or too hard to configure. This paper proposes to scale up MSR analysis using ``general-purpose computing on graphics processing units'' (GPGPU) on off-the-shelf video cards. In a representative MSR case study to measure co-change on version history of the Eclipse project, we find that the GPU approach is up to a factor of 43.9 faster than a CPU-only approach.
@InProceedings{ICSE12p1434,
author = {Rina Nagano and Hiroki Nakamura and Yasutaka Kamei and Bram Adams and Kenji Hisazumi and Naoyasu Ubayashi and Akira Fukuda},
title = {Using the GPGPU for Scaling Up Mining Software Repositories},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1434--1435},
doi = {},
year = {2012},
}
FastFix: Monitoring Control for Remote Software Maintenance
Dennis Pagano, Miguel A. Juan, Alessandra Bagnato, Tobias Roehm, Bernd Brügge, and Walid Maalej
(TU Munich, Germany; S2 Grupo, Spain; TXT e-solutions, Italy)
Software maintenance and support services are key factors to the customer perception of software product quality. The overall goal of FastFix is to provide developers with a real-time maintenance environment that increases efficiency and reduces costs, improving accuracy in identification of failure causes and facilitating their resolution. To achieve this goal, FastFix observes application execution and user interaction at runtime. We give an overview of the functionality of FastFix and present one of its main application scenarios.
@InProceedings{ICSE12p1436,
author = {Dennis Pagano and Miguel A. Juan and Alessandra Bagnato and Tobias Roehm and Bernd Brügge and Walid Maalej},
title = {FastFix: Monitoring Control for Remote Software Maintenance},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1436--1437},
doi = {},
year = {2012},
}
Modeling Cloud Performance with Kriging
Alessio Gambi and Giovanni Toffetti
(University of Lugano, Switzerland)
Cloud infrastructures allow service providers to
implement elastic applications. These can be scaled at runtime
to dynamically adjust their resources allocation to maintain
consistent quality of service in response to changing working
conditions, like flash crowds or periodic peaks.
Providers need models to predict the system performances
of different resource allocations to fully exploit dynamic application scaling. Traditional performance models such as linear
models and queuing networks might be simplistic for real
Cloud applications; moreover, they are not robust to change.
We propose a performance modelling approach that is practical for highly variable elastic applications in the Cloud and
automatically adapts to changing working conditions. We show
the effectiveness of the proposed approach for the synthesis of
a self-adaptive controller.
@InProceedings{ICSE12p1438,
author = {Alessio Gambi and Giovanni Toffetti},
title = {Modeling Cloud Performance with Kriging},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1438--1439},
doi = {},
year = {2012},
}
SOA Adoption in the Italian Industry
Maurizio Leotta, Filippo Ricca
, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, and Tullio Vernazza
(Università di Genova, Italy)
We conducted a personal opinion survey in two rounds – years 2008 and 2011 – with the aim of investigating the level of knowledge and adoption of SOA in the Italian industry. We are also interested in understanding what is the trend of SOA (positive or negative?) and what are the methods, technologies and tools really used in the industry.
The main findings of this survey are the following: (1) SOA is a relevant phenomenon in Italy, (2) Web services and RESTFul services are well-known/used and (3) orchestration languages and UDDI are little known and used. These results suggest that in Italy SOA is interpreted in a more simplistic way with respect to the current/real definition (i.e., without the concepts of orchestration/choreography and registry). Currently, the adoption of SOA is medium/low with a stable/positive trend of pervasiveness.
@InProceedings{ICSE12p1440,
author = {Maurizio Leotta and Filippo Ricca and Marina Ribaudo and Gianna Reggio and Egidio Astesiano and Tullio Vernazza},
title = {SOA Adoption in the Italian Industry},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1440--1441},
doi = {},
year = {2012},
}
A Bidirectional Model-Driven Spreadsheet Environment
Jácome Cunha, João Paulo Fernandes, Jorge Mendes, and João Saraiva
(University of Minho, Portugal)
In this extended abstract we present a bidirectional model-driven framework to develop spreadsheets. By being model driven, our approach allows to evolve a spreadsheet model and automatically have the data co-evolved. The bidirectional component achieves precisely the inverse, that is, to evolve the data and automatically obtain a new model to which the data conforms.
@InProceedings{ICSE12p1442,
author = {Jácome Cunha and João Paulo Fernandes and Jorge Mendes and João Saraiva},
title = {A Bidirectional Model-Driven Spreadsheet Environment},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1442--1443},
doi = {},
year = {2012},
}
A Self-Healing Technique for Java Applications
Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, and Nicolò Perino
(University of Lugano, Switzerland)
Despite the best design practices and testing techniques, many
faults exist and manifest themselves in deployed software. In this
paper we propose a self-healing framework that aims to mask fault
manifestations at runtime in Java applications by automatically
applying workarounds. The framework integrates a checkpoint-recovery
mechanism to restore a consistent state after the failure, and a
mechanism to replace the Java code at runtime to apply the
workaround.
@InProceedings{ICSE12p1444,
author = {Antonio Carzaniga and Alessandra Gorla and Andrea Mattavelli and Nicolò Perino},
title = {A Self-Healing Technique for Java Applications},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1444--1445},
doi = {},
year = {2012},
}
When Open Source Turns Cold on Innovation - The Challenges of Navigating Licensing Complexities in New Research Domains
Christopher Forbes, Iman Keivanloo, and Juergen Rilling
(Concordia University, Canada)
In this poster, we review the limitations open source licences introduce to the application of Linked Data in Software Engineering. We investigate whether open source licences support special requirements to publish source code as Linked Data on the Internet.
@InProceedings{ICSE12p1446,
author = {Christopher Forbes and Iman Keivanloo and Juergen Rilling},
title = {When Open Source Turns Cold on Innovation - The Challenges of Navigating Licensing Complexities in New Research Domains},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1446--1447},
doi = {},
year = {2012},
}
Informal Demonstrations
Thu, Jun 7, 16:00 - 17:30
Language Modularity with the MPS Language Workbench
Markus Voelter and Vaclav Pech
(itemis, Germany; voelter ingenieurbuero fuer softwaretechnologie, Germany; JetBrains, USA)
JetBrains MPS is a comprehensive environment for language engineering. New languages can be defined as standalone languages or as modular extensions of existing languages. Since MPS is a projectional editor, syntactic forms other than text are possible, including tables or mathematical symbols. This demo will show MPS based on mbeddr C, a novel approach for embedded software development that makes use of incremental language extension on the basis of C.
@InProceedings{ICSE12p1448,
author = {Markus Voelter and Vaclav Pech},
title = {Language Modularity with the MPS Language Workbench},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1448--1449},
doi = {},
year = {2012},
}
Mining Application Repository to Recommend XML Configuration Snippets
Sheng Huang, Yi Qi Lu, Yanghua Xiao, and Wei Wang
(Fudan University, China)
Framework-based applications controlled by XML configuration files are quite popularly used in current commercial applications. However, most of these frameworks are complex or not well documented, which poses a great challenge for programmers to correctly utilize them. To overcome these difficulties, we propose a new tool to recommend XML configuration snippets automatically through mining tree patterns and pattern associations from the application repository with the aim of assisting the programmer to generate proper XML configurations during the production phase. In this demo, we showcase this tool by presenting the major techniques behind the tool and the typical usage scenarios of our tool.
@InProceedings{ICSE12p1450,
author = {Sheng Huang and Yi Qi Lu and Yanghua Xiao and Wei Wang},
title = {Mining Application Repository to Recommend XML Configuration Snippets},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1450--1451},
doi = {},
year = {2012},
}
Locating Features in Dynamically Configured Avionics Software
Maxime Ouellet,
Ettore Merlo, Neset Sozen, and Martin Gagnon
(École Polytechnique de Montréal, Canada; CMC Electronics, Canada)
Locating features in software is an important activity for program comprehension and to support software reengineering. We present a novel automated approach to locate features in source code based on static analysis and model checking. The technique is aimed at dynamically configured software, which is software in which the activation of specific features is controlled by configuration variables. The approach is evaluated on an industrial avionics system.
@InProceedings{ICSE12p1452,
author = {Maxime Ouellet and Ettore Merlo and Neset Sozen and Martin Gagnon},
title = {Locating Features in Dynamically Configured Avionics Software},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1452--1453},
doi = {},
year = {2012},
}
Detecting Metadata Bugs on the Fly
Myoungkyu Song and Eli Tilevich
(Virginia Tech, USA)
Programmers are spending a large and increasing amount of their time writing and modifying metadata, such as Java annotations and XML deployment descriptors. And yet, automatic bug finding tools cannot find metadata-related bugs introduced during program refactoring and enhancement. To address this shortcoming, we have created metadata invariants, a new programming abstraction that expresses naming and typing relationships between metadata and the main source code of a program. A paper that appears in the main technical program of ICSE 2012 describes the idea, concept, and prototype of metadata invariants. The goal of this demo is to supplement that paper with a demonstration of our Eclipse plugin, Metadata Bug Finder (MBF). MBF takes as input a script written in our domain-specific language that describes a set of metadata coding conventions the programmer wishes to enforce. Then after each file save operation, MBF checks the edited codebase for the presence of any violations of the given metadata programming conventions. These violations are immediately reported to the programmer as potential metadata-related bugs. By making the programmer aware of these potential bugs, MBF prevents them from seeping into production, thereby improving the overall correctness of the edited codebase.
@InProceedings{ICSE12p1454,
author = {Myoungkyu Song and Eli Tilevich},
title = {Detecting Metadata Bugs on the Fly},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1454--1455},
doi = {},
year = {2012},
}
Blaze
Jan-Peter Krämer, Joachim Kurz, Thorsten Karrer, and Jan Borchers
(RWTH Aachen University, Germany)
@InProceedings{ICSE12p1456,
author = {Jan-Peter Krämer and Joachim Kurz and Thorsten Karrer and Jan Borchers},
title = {Blaze},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1456--1455},
doi = {},
year = {2012},
}
ConTexter Feedback System
Tristan Wehrmaker, Stefan Gärtner, and Kurt Schneider
(Leibniz Universität Hannover, Germany)
Today’s large-scale software-intensive systems exhibit an increasing complexity due to a broad spectrum of technical and socio-technical components. Due to the very dynamic character of such systems as well as fast evolving technologies, most requirements cannot be planned a priori. To overcome this problem, we suggest a method to gather end-user needs for requirements engineers at any time by applying a geographical deployed feedback system. End-user needs are gathered in-situ by utilizing mobile devices. In this paper, we present the implementation of our feedback system enabling end-users to submit feedback with smartphones at very low effort and cost.
@InProceedings{ICSE12p1458,
author = {Tristan Wehrmaker and Stefan Gärtner and Kurt Schneider},
title = {ConTexter Feedback System},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1458--1459},
doi = {},
year = {2012},
}
xMapper: An Architecture-Implementation Mapping Tool
Yongjie Zheng and Richard N. Taylor
(UC Irvine, USA)
xMapper is an Eclipse-based tool that implements a new architecture-implementation mapping approach called 1.x-way mapping. xMapper is able to record various architecture changes during software development, and automatically map specific kinds of architecture changes to code in specific ways. In addition, xMapper supports the mapping of behavioral architecture specifications modeled as UML-like sequence diagrams and state diagrams.
@InProceedings{ICSE12p1460,
author = {Yongjie Zheng and Richard N. Taylor},
title = {xMapper: An Architecture-Implementation Mapping Tool},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1460--1461},
doi = {},
year = {2012},
}
ConcernReCS: Finding Code Smells in Software Aspectization
Péricles Alves, Diogo Santana, and Eduardo Figueiredo
(UFMG, Brazil)
Refactoring object-oriented (OO) code to aspects is an error-prone task. To support this task, this paper presents ConcernReCS, an Eclipse plug-in to help developers to avoid recurring mistakes during software aspectization. Based on a map of concerns, ConcernReCS automatically finds and reports error-prone scenarios in OO source code; i.e., before the concerns have been refactored to aspects.
@InProceedings{ICSE12p1462,
author = {Péricles Alves and Diogo Santana and Eduardo Figueiredo},
title = {ConcernReCS: Finding Code Smells in Software Aspectization},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1462--1463},
doi = {},
year = {2012},
}
Egidio: A Non-Invasive Approach for Synthesizing Organizational Models
Saulius Astromskis, Andrea Janes, and Alireza Rezaei Mahdiraji
(Free University of Bolzano, Italy)
To understand and improve processes in organizations, six key questions need to be answered, namely, what, how, where, who, when, why. Organizations with established processes have IT system(s) that gather(s) information about some or all of the key questions. Software organizations usually have defined processes, but they usually lack information about how processes are actually executed. Moreover, there is no explicit information about process instances and activities. Existing process mining techniques face problems in coping with such environment. We propose a tool, Egidio, which uses non-invasively collected data and builds organizational models. In particular, we explain the tool within a software company, which is able to extract different aspects of development processes. The main contribution of Egidio is the ability to mine processes and organizational models from fine-grained data collected in a non-invasive manner, without interrupting the developers’ work.
@InProceedings{ICSE12p1464,
author = {Saulius Astromskis and Andrea Janes and Alireza Rezaei Mahdiraji},
title = {Egidio: A Non-Invasive Approach for Synthesizing Organizational Models},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1464--1465},
doi = {},
year = {2012},
}
SDiC: Context-Based Retrieval in Eclipse
Bruno Antunes, Joel Cordeiro, and Paulo Gomes
(University of Coimbra, Portugal)
While working in an IDE, developers typically deal with a large number of different artifacts at the same time. The software development process requires that they repeatedly switch between different artifacts, which often depends on searching for these artifacts in the source code structure. We propose a tool that integrates context-based search and recommendation of source code artifacts in Eclipse. The artifacts are collected from the workspace of the developer and represented using ontologies. A context model of the developer is used to improve search and give recommendations of these artifacts, which are ranked according to their relevance to the developer. The tool was tested by a group of developers and the results show that contextual information has an important role in retrieving relevant information for developers.
@InProceedings{ICSE12p1466,
author = {Bruno Antunes and Joel Cordeiro and Paulo Gomes},
title = {SDiC: Context-Based Retrieval in Eclipse},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1466--1467},
doi = {},
year = {2012},
}
An Integrated Bug Processing Framework
Xiangyu Zhang, Mengxiang Lin, and Kai Yu
(Beihang University, China)
Software debugging starts with bug reports. Test engineers confirm
bugs and determine the corresponding developers to fix them.
However, the analysis of bug reports is time-consuming and manual
inspection is difficult and tedious. To improve the efficiency of
the whole process, we propose a bug processing framework
that integrates bug report analysis and fault localization. An instance of the framework is
implemented for regression faults. Preliminary results on a large open source application
demonstrate both efficiency and effectiveness.
@InProceedings{ICSE12p1468,
author = {Xiangyu Zhang and Mengxiang Lin and Kai Yu},
title = {An Integrated Bug Processing Framework},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1468--1469},
doi = {},
year = {2012},
}
Repository for Model Driven Development (ReMoDD)
Robert B. France, James M. Bieman, Sai Pradeep Mandalaparty, Betty H. C. Cheng, and Adam C. Jensen
(Colorado State University, USA; Michigan State University, USA)
The Repository for Model-Driven Development (ReMoDD) contains artifacts that support Model-Driven Development (MDD) research and education. ReMoDD is collecting (1) documented MDD case studies, (2) examples of models reflecting good and bad modeling practices, (3) reference models (including metamodels) that can be used as the basis for comparing and evaluating MDD techniques, (4) generic models and transformations reflecting reusable modeling experience, (5) descriptions of modeling techniques, practices and experiences, and (6) modeling exercises and problems that can be used to develop classroom assignments and projects. ReMoDD provides a single point of access to shared artifacts reflecting high-quality MDD experience and knowledge from industry and academia. This access facilitates sharing of relevant knowledge and experience that improve MDD activities in research, education and industry.
@InProceedings{ICSE12p1470,
author = {Robert B. France and James M. Bieman and Sai Pradeep Mandalaparty and Betty H. C. Cheng and Adam C. Jensen},
title = {Repository for Model Driven Development (ReMoDD)},
booktitle = {Proc.\ ICSE},
publisher = {IEEE},
pages = {1470--1471},
doi = {},
year = {2012},
}
proc time: 0.32