You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
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
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
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
The text was updated successfully, but these errors were encountered:
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
The text was updated successfully, but these errors were encountered: