FSE 2014 – Author Index |
Contents -
Abstracts -
Authors
Online Calendar - iCal File |
Banerjee, Abhijeet |
FSE '14-DOC: "Static Analysis Driven Performance ..."
Static Analysis Driven Performance and Energy Testing
Abhijeet Banerjee (National University of Singapore, Singapore) Software testing is the process of evaluating the properties of a software. Properties of a software can be divided into two categories: functional properties and non-functional properties. Properties that influence the input-output relationship of the software can be categorized as functional properties. On the other hand, properties that do not influence the input-output relationship of the software directly can be categorized as non-functional properties. In context of real-time system software, testing functional as well as non functional properties is equally important. Over the years considerable amount of research effort has been dedicated in developing tools and techniques that systematically test various functional properties of a software. However, the same cannot be said about testing non-functional properties. Systematic testing of non-functional properties is often much more challenging than testing functional properties. This is because non-functional properties not only depends on the inputs to the program but also on the underlying hardware. Additionally, unlike the functional properties, nonfunctional properties are seldom annotated in the software itself. Such challenges provide the objectives for this work. The primary objective of this work is to explore and address the major challenges in testing non-functional properties of a software. @InProceedings{FSE14p791, author = {Abhijeet Banerjee}, title = {Static Analysis Driven Performance and Energy Testing}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {791--794}, doi = {}, year = {2014}, } |
|
Behringer, Benjamin |
FSE '14-DOC: "Integrating Approaches for ..."
Integrating Approaches for Feature Implementation
Benjamin Behringer (University of Luxembourg, Luxembourg; htw saar, Germany) Compositional and annotative approaches are two competing yet complementary candidates for implementing feature-oriented software product lines. While the former provides real modularity, the latter excels concerning expressiveness. To combine the respective advantages of compositional and annotative approaches, we aim at unifying their underlying representations by leveraging the snippet system instead of directories and files. In addition, to exploit this unification, we propose different editable views. @InProceedings{FSE14p775, author = {Benjamin Behringer}, title = {Integrating Approaches for Feature Implementation}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {775--778}, doi = {}, year = {2014}, } |
|
Bell, Jonathan |
FSE '14-DOC: "Detecting, Isolating, and ..."
Detecting, Isolating, and Enforcing Dependencies among and within Test Cases
Jonathan Bell (Columbia University, USA) Testing stateful applications is challenging, as it can be difficult to identify hidden dependencies on program state. These dependencies may manifest between several test cases, or simply within a single test case. When it's left to developers to document, understand, and respond to these dependencies, a mistake can result in unexpected and invalid test results. Although current testing infrastructure does not currently leverage state dependency information, we argue that it could, and that by doing so testing can be improved. Our results thus far show that by recovering dependencies between test cases and modifying the popular testing framework, JUnit, to utilize this information, we can optimize the testing process, reducing time needed to run tests by 62% on average. Our ongoing work is to apply similar analyses to improve existing state of the art test suite prioritization techniques and state of the art test case generation techniques. @InProceedings{FSE14p799, author = {Jonathan Bell}, title = {Detecting, Isolating, and Enforcing Dependencies among and within Test Cases}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {799--802}, doi = {}, year = {2014}, } |
|
Brünink, Marc |
FSE '14-DOC: "Autonomous Compliance Monitoring ..."
Autonomous Compliance Monitoring of Non-functional Properties
Marc Brünink (National University of Singapore, Singapore) While there is a good understanding of functional requirements and the need to test them during development, non-functional requirements are more elusive. Defining non-functional requirements can end up in a major undertaking consuming significant resources. Even after defining non-functional requirements, chances are they do not reflect the real-world usage of a deployed system. Differences can occur due to workload, hardware, or utilised third-party libraries. To tackle these challenges we propose a fully automatic compliance monitoring solution for non-functional properties. The proposed system mines stable behavioural patterns of the system and automatically extracts assertions that can be used to detect deviations of expected non-functional behaviour. We especially focus on non-functional properties that require runtime observation, e.g. execution time, performance, throughput.The full automation of the process enables a deployment in the field, giving rise to a distributed non-functional behaviour extraction system. @InProceedings{FSE14p795, author = {Marc Brünink}, title = {Autonomous Compliance Monitoring of Non-functional Properties}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {795--798}, doi = {}, year = {2014}, } |
|
Gao, Zheng |
FSE '14-DOC: "Numerical Program Analysis ..."
Numerical Program Analysis and Testing
Zheng Gao (University College London, UK) Numerical software is playing an increasingly critical role in modern society, but composing correct numerical programs is difficult. This paper describes a doctoral research program that aims to alleviate this issue. It tackles real world problems and is guided by features learned from empirically studying these programs. By assisting developers in the production of numerical software, it improves the quality and productivity of software development. The research depends on numerical analysis and lies in the intersection of software engineering and program analysis. @InProceedings{FSE14p779, author = {Zheng Gao}, title = {Numerical Program Analysis and Testing}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {779--782}, doi = {}, year = {2014}, } |
|
Kan, Shuanglong |
FSE '14-DOC: "Traceability and Model Checking ..."
Traceability and Model Checking to Support Safety Requirement Verification
Shuanglong Kan (Nanjing University of Aeronautics and Astronautics, China) Ensuring safety-critical software safety requires strict verification of the conformance between safety requirements and programs. Formal verification techniques, such as model checking and theorem proving, can be used to partially realize this objective. DO-178C, a standard for airborne systems, allows formal verification techniques to replace certain forms of testing. My research is concerned with applying model checking to verify the conformance between safety requirements and programs. First, a formal language for specifying software safety requirements which are relevant to event sequences is introduced. Second, the traceability information models between formalized safety requirements and programs are built. Third, the checking of a program against a safety requirement is decomposed into smaller model checking problems by utilizing traceability information model between them. @InProceedings{FSE14p783, author = {Shuanglong Kan}, title = {Traceability and Model Checking to Support Safety Requirement Verification}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {783--786}, doi = {}, year = {2014}, } |
|
Kasi, Bakhtiar Khan |
FSE '14-DOC: "Minimizing Software Conflicts ..."
Minimizing Software Conflicts through Proactive Detection of Conflicts and Task Scheduling
Bakhtiar Khan Kasi (University of Nebraska-Lincoln, USA) Software conflicts arising because of conflicting changes are a regular occurrence and delay projects. Workspace awareness tools have been proposed to facilitate task coordination among developers, enabling them to identify potential conflicts early, while conflicts are still easy to resolve. However, these tools have limitations, as they identify conflicts after conflicts have already occurred and therefore, are unable to prevent developers’ time and effort spent in resolving the conflicts. The goal of this Ph.D. research is to: (1) characterize the distribution of conflicts, their frequency and the factors within a project that affects the distribution and frequency of conflicts, (2) design and implement a conflict minimization technique that proactively identifies potential conflicts by analyzing developers’ tasks and avoids them by scheduling tasks in a conflict minimal manner and (3) evaluate the proposed approach using historic data from OSS projects and through user evaluations. Thus far, we have implemented our approach and evaluated it with historic data from four OSS projects and through simulated data. @InProceedings{FSE14p807, author = {Bakhtiar Khan Kasi}, title = {Minimizing Software Conflicts through Proactive Detection of Conflicts and Task Scheduling}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {807--810}, doi = {}, year = {2014}, } |
|
Llerena, Yamilet R. Serrano |
FSE '14-DOC: "Dealing with Uncertainty in ..."
Dealing with Uncertainty in Verification of Nondeterministic Systems
Yamilet R. Serrano Llerena (National University of Singapore, Singapore) Uncertainty complicates the formal verification of nondeterministic systems. Unpredictable changes and alterations in their environments can lead an invalid verification results and the decrease of confidence degree of these systems. However, current literature provides little account of addressing the uncertainty in formal verification. To address this problem, the goal of this research is to provide a method based on perturbation analysis for probabilistic model checking of nondeterministic systems which are modelled as Markov Decision Processes. And to apply our expected contributions to ubiquitous systems due to inherent presence of environment uncertainty and their resource limitations. @InProceedings{FSE14p787, author = {Yamilet R. Serrano Llerena}, title = {Dealing with Uncertainty in Verification of Nondeterministic Systems}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {787--790}, doi = {}, year = {2014}, } |
|
Pham, Raphael |
FSE '14-DOC: "Improving the Software Testing ..."
Improving the Software Testing Skills of Novices during Onboarding through Social Transparency
Raphael Pham (Leibniz Universität Hannover, Germany) Inexperienced software developers - for example, undergraduates entering the workforce - exhibit a lack of testing skills. They have trouble understanding and applying basic testing techniques. These inexperienced developers are hired by software companies, where this lack of testing skills has already been recognized. Companies allocate valuable resources and invest time and money in different onboarding strategies to introduce new hires to the organization’s testing practices. However, if the lack of testing skills is not addressed properly, the new hire is left to her own devices. This hinders her in becoming a high-quality engineer for the software company. This thesis proposes to improve the onboarding strategies with traits of social transparency in order to specifically address testing issues of inexperienced new hires. Social transparency has been shown to influence the testing behavior of development teams on a social coding site. An environment that is open for discussion helps newcomers to understand and adapt a team’s testing culture. Tailoring the onboarding process to better address testing skills of new hires makes it more effective and more efficient. This reduces the danger of carrying new hire’s testing deficits into commercial software development. @InProceedings{FSE14p803, author = {Raphael Pham}, title = {Improving the Software Testing Skills of Novices during Onboarding through Social Transparency}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {803--806}, doi = {}, year = {2014}, } |
|
Wu, Rongxin |
FSE '14-DOC: "Diagnose Crashing Faults on ..."
Diagnose Crashing Faults on Production Software
Rongxin Wu (Hong Kong University of Science and Technology, China) Software crashes are severe manifestations of software faults. Especially, software crashes in production software usually result in bad user experiences. Therefore, crashing faults mostly are required to be fixed with a high priority. Diagnosing crashing faults on production software is non-trivial, due to the characteristics of production environment. In general, it is required to address two major challenges. First, crash reports in production software are usually numerous, since production software is used by a large number of end users in various environments and configurations. Especially, a single fault may manifest as different crash reports, which makes the prioritizing debugging and understanding faults difficult. Second, deployed software is required to run with minimal overhead and cannot afford a heavyweight instrumentation approach to collect program execution information. Furthermore, end users require that the logged information should not reveal sensitive production data. This thesis contributes for developing crashing fault diagnosis tools that can be used in production environment. @InProceedings{FSE14p771, author = {Rongxin Wu}, title = {Diagnose Crashing Faults on Production Software}, booktitle = {Proc.\ FSE}, publisher = {ACM}, pages = {771--774}, doi = {}, year = {2014}, } |
10 authors
proc time: 1.14