SESSION: Evolution and Maintenance

No issue left behind: reducing information overload in issue tracking

Olga Baysal, Reid Holmes, Michael W. Godfrey Pages: 666-677 doi>10.1145/2635868.2635887 Full text: PDFPDF

Modern software development tools such as issue trackers are often complex and multi-purpose tools that provide access to an immense amount of raw information. Unfortunately, developers sometimes feel frustrated when they cannot easily obtain the particular ... expand

Panning requirement nuggets in stream of software maintenance tickets

Senthil Mani, Karthik Sankaranarayanan, Vibha Singhal Sinha, Premkumar Devanbu Pages: 678-688 doi>10.1145/2635868.2635897 Full text: PDFPDF

There is an increasing trend to outsource maintenance of large applications and application portfolios of a business to third parties, specialising in application maintenance, who are incented to deliver the best possible maintenance at the lowest cost. ... expand

Learning to rank relevant files for bug reports using domain knowledge

Xin Ye, Razvan Bunescu, Chang Liu Pages: 689-699 doi>10.1145/2635868.2635874 Full text: PDFPDF

When a new bug report is received, developers usually need to reproduce the bug and perform code reviews to find the cause, a process that can be tedious and time consuming. A tool for ranking all the source files of a project with respect to how likely ... expand

Querying sequential software engineering data

Chengnian Sun, Haidong Zhang, Jian-Guang Lou, Hongyu Zhang, Qiang Wang, Dongmei Zhang, Siau-Cheng Khoo Pages: 700-710 doi>10.1145/2635868.2635902 Full text: PDFPDF

We propose a pattern-based approach to effectively and efficiently analyzing sequential software engineering (SE) data. Different from other types of SE data, sequential SE data preserves unique temporal properties, which cannot be easily analyzed without ... expand

SESSION: Tool Demonstrations

Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems

Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, Jiaguang Sun Pages: 711-714 doi>10.1145/2635868.2661664 Full text: PDFPDF

The key challenges of the model-driven approach to designing multi-clocked embedded systems are three-fold: (1) how to model local synchronous components and asynchronous communication between components in a single framework, (2) how to ensure the ... expand

A tool suite for the model-driven software engineering of cyber-physical systems

Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, Uwe Pohlmann Pages: 715-718 doi>10.1145/2635868.2661665 Full text: PDFPDF

Cyber-physical systems, e.g., autonomous cars or trains, interact with their physical environment. As a consequence, they commonly have to coordinate with other systems via complex message communication while realizing safety-critical and real-time ... expand

XMLMate: evolutionary XML test generation

Nikolas Havrikov, Matthias Höschele, Juan Pablo Galeotti, Andreas Zeller Pages: 719-722 doi>10.1145/2635868.2661666 Full text: PDFPDF

Generating system inputs satisfying complex constraints is still a challenge for modern test generators. We present XMLMATE, a search-based test generator specially aimed at XML-based systems. XMLMATE leverages program structure, existing XML schemas, ... expand

CHOReOSynt: enforcing choreography realizability in the future internet

Marco Autili, Davide Di Ruscio, Amleto Di Salle, Alexander Perucci

Pages: 723-726 doi>10.1145/2635868.2661667 Full text: PDFPDF

Choreographies are an emergent Service Engineering (SE) approach to compose together and coordinate services in a distributed way. A choreography formalizes the way business participants coordinate their interactions. The focus is not on orchestrations ... expand

RaPiD: a toolkit for reliability analysis of non-deterministic systems

Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, Jin Song Dong Pages: 727-730 doi>10.1145/2635868.2661668 Full text: PDFPDF

Non-determinism in concurrent or distributed software systems (i.e., various possible execution orders among different distributed components) presents new challenges to the existing reliability analysis methods based on Markov chains. In this work, ... expand

Aalta: an LTL satisfiability checker over Infinite/Finite traces

Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, Jifeng He Pages: 731-734 doi>10.1145/2635868.2661669 Full text: PDFPDF

Linear Temporal Logic (LTL) is been widely used nowadays in verification and AI. Checking satisfiability of LTL formulas is a fundamental step in removing possible errors in LTL assertions. We present in this paper Aalta, a new LTL satisfiability checker, ... expand

Omen+: a precise dynamic deadlock detector for multithreaded Java libraries

Malavika Samak, Murali Krishna Ramanathan Pages: 735-738 doi>10.1145/2635868.2661670 Full text: PDFPDF

Designing thread-safe libraries without concurrency defects can be a challenging task. Detecting deadlocks while invoking methods in these libraries concurrently is hard due to the possible number of method invocation combinations, the object assignments ... expand

Archie: a tool for detecting, monitoring, and preserving architecturally significant code

Mehdi Mirakhorli, Ahmed Fakhry, Artem Grechko, Matteusz Wieloch, Jane Cleland-Huang Pages: 739-742 doi>10.1145/2635868.2661671 Full text: PDFPDF

The quality of a software architecture is largely dependent upon the underlying architectural decisions at the framework, tactic, and pattern levels. Decisions to adopt certain solutions determine the extent to which desired qualities such as security, ... expand

Linking sketches and diagrams to source code artifacts

Sebastian Baltes, Peter Schmitz, Stephan Diehl Pages: 743-746 doi>10.1145/2635868.2661672 Full text: PDFPDF

Recent studies have shown that sketches and diagrams play an important role in the daily work of software developers. If these visual artifacts are archived, they are often detached from the source code they document, because there is no ad- equate ... expand

BumbleBee: a refactoring environment for spreadsheet formulas

Felienne Hermans, Danny Dig Pages: 747-750 doi>10.1145/2635868.2661673 Full text: PDFPDF

Spreadsheets are widely used in industry. It is estimated that end-user programmers outnumber regular programmers by a factor of 5. However, spreadsheets are error-prone: several reports exist of companies that have lost big sums of money due to spreadsheet ... expand

RefDistiller: a refactoring aware code review tool for inspecting manual refactoring edits

Everton L. G. Alves, Myoungkyu Song, Miryung Kim Pages: 751-754 doi>10.1145/2635868.2661674 Full text: PDFPDF

Manual refactoring edits are error prone, as refactoring requires developers to coordinate related transformations and understand the complex inter-relationship between affected types, methods, and variables. We present RefDistiller, a refactoring-aware ... expand

Critics: an interactive code review tool for searching and inspecting systematic changes

Tianyi Zhang, Myoungkyu Song, Miryung Kim Pages: 755-758 doi>10.1145/2635868.2661675 Full text: PDFPDF

During peer code reviews, developers often examine program differences. When using existing program differencing tools, it is difficult for developers to inspect systematic changes—similar, related changes that are scattered across multiple files. ... expand

ConceptCloud: a tagcloud browser for software archives

Gillian J. Greene, Bernd Fischer Pages: 759-762 doi>10.1145/2635868.2661676 Full text: PDFPDF

ConceptCloud is an interactive browser for SVN and Git repositories. Its main novelty is the combination of an intuitive tag cloud interface with an underlying concept lattice that provides a formal structure for navigation. This combination allows ... expand

Titan: a toolset that connects software architecture with quality analysis

Lu Xiao, Yuanfang Cai, Rick Kazman Pages: 763-766 doi>10.1145/2635868.2661677 Full text: PDFPDF

In this tool demo, we will illustrate our tool---Titan---that supports a new architecture model: design rule spaces (DRSpaces). We will show how Titan can capture both architecture and evolutionary structure and help to bridge the gap between architecture ... expand

BugLocalizer: integrated tool support for bug localization

Ferdian Thung, Tien-Duy B. Le, Pavneet Singh Kochhar, David Lo Pages: 767-770 doi>10.1145/2635868.2661678 Full text: PDFPDF

To manage bugs that appear in a software, developers often make use of a bug tracking system such as Bugzilla. Users can report bugs that they encounter in such a system. Whenever a user reports a new bug report, developers need to read the summary ... expand

opensciences / opensciences.github.io

FSE14 Chunk#5 #92