PrePrint: Comparing Semi-Automated Clustering Methods for Persona Development
Current and future information systems require a better understanding of the interactions between users and systems in order to improve system use, and ultimately, success. The use of personas as...
View ArticlePrePrint: Mutable Protection Domains: Adapting System Fault Isolation for...
As software systems are becoming increasingly complex, the likelihood of faults and unexpected behaviors will naturally increase. Many researchers have developed methods to contain faults at run-time,...
View ArticlePrePrint: Adaptation of Service Protocols Using Process Algebra and...
Reuse and composition are increasingly advocated and put into practice in modern software engineering. However, the software entities that are to be reused to build an application, e.g., services, have...
View ArticlePrePrint: Palantír: Early Detection of Development Conflicts Arising...
The earlier a conflict is detected, the easier it is to resolve – this is the main precept of workspace awareness. Workspace awareness seeks to provide users with information of relevant ongoing...
View ArticlePrePrint: Pert: The Application-Aware Tailoring for Java Object Persistence
Persistence is a widely used technique which allows the objects that represent the results of some lengthy computation to outlive the process that creates it, in order to considerably speed-up...
View ArticlePrePrint: Tools for the Rapid Prototyping of Provably Correct Ambient...
Ambient Intelligence technologies have not yet been widely adopted in safety critical scenarios. This principally has been due to fact that acceptable degrees of dependability have not been reached for...
View ArticlePrePrint: MOSES: A Framework for QoS Driven Runtime Adaptation of...
Architecting software systems according to the service-oriented paradigm, and designing runtime self-adaptable systems are two relevant research areas in today's software engineering. In this paper we...
View ArticlePrePrint: DESSERT: A DividE-and-Conquer Methodology for Identifying...
This paper extends the CHOiCe reLATion framEwork, abbreviated as CHOC'LATE, which assists software testers in the application of category/choice methods to testing. CHOC'LATE assumes that the tester is...
View ArticlePrePrint: Precise Calling Context Encoding
Calling contexts are very important for a wide range of applications such as profiling, debugging, and event logging. Most applications perform expensive stack walking to recover contexts. The...
View ArticlePrePrint: Fault Localization for Dynamic Web Applications
In recent years, there has been significant interest in fault-localization techniques that are based on statistical analysis of program constructs executed by passing and failing executions. This paper...
View ArticlePrePrint: Two Studies of Framework-Usage Templates Extracted from Dynamic Traces
Object-oriented frameworks are widely used to develop new applications. They provide reusable concepts that are instantiated in application code through potentially complex implementation steps such as...
View ArticlePrePrint: What Do We Know About the Effectiveness of Software Design Patterns
Context: Many software development practices are based upon codification of expert knowledge, often with little or no underpinning from objective empirical evidence. Objectives: To investigate how...
View ArticlePrePrint: Reasoning about the Reliability of Diverse Two-Channel Systems in...
This paper considers the problem of reasoning about the reliability of fault-tolerant systems with two "channels" (i.e., components) of which one, A, supports only a claim of reliability, while the...
View ArticlePrePrint: Fluid Rewards for a Stochastic Process Algebra
Reasoning about the performance of models of software systems typically entails the derivation of metrics such as throughput, utilisation, and response time. If the model is a Markov chain, these are...
View ArticlePrePrint: Mining Crosscutting Concerns through Random Walks
Inspired by our past manual aspect mining experience, this paper describes a probabilistic random walk model to approximate the process of discovering crosscutting concerns in the absence of domain...
View ArticlePrePrint: Exemplar: A Source Code Search Engine For Finding Highly Relevant...
A fundamental problem of finding software applications that are highly relevant to development tasks is the mismatch between the high-level intent reflected in the descriptions of these tasks and...
View ArticlePrePrint: Formal Analysis of the Probability of Interaction Fault Detection...
Modern systems are becoming highly configurable to satisfy the varying needs of customers and users. However, high levels of configurability entail new challenges. Some faults might be revealed only if...
View ArticlePrePrint: A Practical Approach to Size Estimation of Embedded Software...
To estimate Software Code Size early in the development process is important for developing cost-efficient embedded systems. We have applied the COSMIC FSM (Functional Size Measurement) method for Size...
View ArticlePrePrint: Structural Complexity and Programmer Team Task Strategy: An...
This study develops and empirically tests the idea that the impact of structural complexity on perfective maintenance of object-oriented software is significantly determined by the team strategy of...
View ArticlePrePrint: Coping with Existing Systems in Information Systems Development
Determining how to cope with existing systems is an important issue for information systems development (ISD). In this paper, we investigate how well different ISD patterns are suited for coping with...
View ArticlePrePrint: Clone Management for Evolving Software
Recent research results suggest a need for code clone management. In this paper, we introduce JSync, a novel clone management tool for evolving software. JSync provides two main functions to support...
View ArticlePrePrint: The Link between Dependency and Co-Change: Empirical Evidence
We investigate the relationship between class dependency and change propagation (co-change) in software written in Java. On the one hand we find a strong correlation between dependency and co-change....
View ArticlePrePrint: Solving the Large Scale Next Release Problem with a Backbone Based...
The Next Release Problem (NRP) aims to optimize customer profits and requirements selection for the software releases. The research on the NRP is restricted by the growing scale of requirements. In...
View ArticlePrePrint: Mutation-Driven Generation of Unit Tests and Oracles
To assess the quality of test suites, mutation analysis seeds artificial defects (mutations) into programs; a non-detected mutation indicates a weakness in the test suite. We present an automated...
View ArticlePrePrint: Architecture-Based Reliability Prediction with the Palladio...
With the increasing importance of reliability in business and industrial software systems, new techniques of architecture-based reliability engineering are becoming an integral part of the development...
View ArticlePrePrint: Analyzing the Effect of Gain Time on Soft Task Scheduling Policies...
In hard real-time systems, gain time is defined as the difference between the worst-case execution time of a hard task and its actual processor consumption at run time. This paper presents the results...
View ArticlePrePrint: Formal Specification-Based Inspection for Verification of Programs
Software inspection is a static analysis technique that is widely used for defect detection, but which suffers from a lack of rigor. In this paper, we address this problem by taking advantage of formal...
View ArticlePrePrint: A Systematic Review of Fault Prediction Performance in Software...
Background: The accurate prediction of where faults are likely to occur in code can help direct test effort, reduce costs and improve the quality of software. Objective: We investigate how the context...
View ArticlePrePrint: Automatically Generating Test Cases for Specification Mining
Dynamic specification mining observes program executions to infer models of normal program behavior. What makes us believe that we have seen sufficiently many executions? The TAUTOKO typestate miner...
View ArticlePrePrint: A Static Approach to Prioritizing JUnit Test Cases
Over the past few years, many test case prioritization techniques have been proposed in the literature. Most of them require data on dynamic execution in the form of code coverage information for test...
View ArticlePrePrint: Towards A Tool-Based Development Methodology for Pervasive...
Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge involves coping with...
View ArticlePrePrint: Automatic Detection of Unsafe Dynamic Component Loadings
Dynamic loading of software components is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is critical for reliable and secure software execution,...
View ArticlePrePrint: Modeling Product Line Software Assets Using Domain-Specific Kits
Software Product Line Engineering (SPLE) is a prominent paradigm for the assembly of a family of products using product line core assets. The modeling of software assets that together form the actual...
View ArticlePrePrint: Programmer-Friendly Refactoring Errors
Refactoring tools, common to many integrated development environments, can help programmers to restructure their code. These tools sometimes refuse to restructure the programmer's code, instead giving...
View ArticlePrePrint: On the Value of Ensemble Effort Estimation
Background: Despite decades of research, there is no consensus on which software effort estimation methods produce the most accurate models. Aim: Prior work has reported that, given M estimation...
View ArticlePrePrint: Matching and Merging of Variant Feature Specifications
Model Management addresses the problem of managing an evolving collection of models, by capturing the relationships between models and providing well-defined operators to manipulate them. In this...
View ArticlePrePrint: Language-Independent and Automated Software Composition: The...
Superimposition is a composition technique that has been applied successfully in many areas of software development. Although superimposition is a general-purpose concept, it has been (re)invented and...
View ArticlePrePrint: Random Testing: Theoretical Results and Practical Implications
A substantial amount of work has shed light on whether random testing is actually a useful testing technique. Despite its simplicity, several successful real-world applications have been reported in...
View ArticlePrePrint: Empirical Principles and an Industrial Case Study in Retrieving...
Though very important in software engineering, linking artifacts of the same type (clone detection) or different types (traceability recovery) is extremely tedious, error-prone, and effort-intensive....
View ArticlePrePrint: On Fault Representativeness of Software Fault Injection
The injection of software faults in software components to assess the impact of these faults on other components or on the system as a whole, allowing the evaluation of fault tolerance, is relatively...
View ArticlePrePrint: Measuring Code Quality to Improve Specification Mining
Formal specifications can help with program testing, optimization, refactoring, documentation, and, most importantly, debugging and repair. However, they are difficult to write manually, and automatic...
View ArticlePrePrint: Schedule of Bad Smell Detection and Resolution: A New Way to Save...
Bad smells are signs of potential problems in code. Detecting and resolving bad smells, however, remain time consuming for software engineers despite proposals on bad smell detection and refactoring...
View ArticlePrePrint: Invariant-Based Automatic Testing of Modern Web Applications
AJAX-based Web 2.0 applications rely on stateful asynchronous client/server communication, and client-side run-time manipulation of the DOM tree. This not only makes them fundamentally different from...
View ArticlePrePrint: QoS Assurance for Dynamic Reconfiguration of Component Based...
A major challenge of dynamic reconfiguration is Quality of Service (QoS) assurance, which is meant to reduce appli-cation disruption to the minimum for the system’s transformation. However, this...
View ArticlePrePrint: Size-Constrained Regression Test Case Selection Using...
This paper proposes a novel approach for selecting and ordering a predetermined number of test cases from an existing test suite. Our approach forms an Integer inear Programming problem using two...
View ArticlePrePrint: SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Propositional bounded model checking has been applied successfully to verify embedded software but remains limited by increasing propositional formula sizes and the loss of high-level information...
View ArticlePrePrint: Does Software Process Improvement Reduce the Severity of Defects? A...
As firms increasingly rely on information systems to perform critical functions the consequences of software defects can be catastrophic. Although the software engineering literature suggests that...
View ArticlePrePrint: Evaluating Dynamic Software Update Safety Using Systematic Testing
Dynamic software updating (DSU) systems patch programs on the fly without incurring downtime. To avoid failures due to the updating process itself, many DSU systems employ timing restrictions. However,...
View ArticlePrePrint: GenProg: A Generic Method for Automated Software Repair
This article describes GenProg, an automated method for repairing defects in off-the-shelf, legacy programs without formal specifications, program annotations, or special coding practices. GenProg uses...
View ArticlePrePrint: Class Schema Evolution for Persistent Object-Oriented Software:...
With the wide support for object serialization in object-oriented programming languages, persistent objects have become common place and most large object-oriented software systems rely on extensive...
View Article
