Software system ≈ Software system
View article
Fairness testing: testing software for discrimination Open
This paper defines software fairness and discrimination and develops a\ntesting-based method for measuring if and how much software discriminates,\nfocusing on causality in discriminatory behavior. Evidence of software\ndiscrimination has …
View article
Working with objects. The OOram Software Engineering Method. Open
Book. Manning/Prentice Hall 1996. ISBN 0-13-452930-8. Distributed by Prentice-Hall for a few months, they then withdrew it from the market without any explanation. Very frustrating. Out of print, copyright has reverted to the author. This …
View article
Automatic Software Repair: A Survey Open
Despite their growing complexity and increasing size, modern software applications must satisfy strict release requirements that impose short bug fixing and maintenance cycles, putting significant pressure on developers who are responsible…
View article
PyDriller: Python framework for mining software repositories Open
Software repositories contain historical and valuable information about the overall development of software systems. Mining software repositories (MSR) is nowadays considered one of the most interesting growing fields within software engin…
View article
Software Engineering for AI-Based Systems: A Survey Open
AI-based systems are software systems with functionalities enabled by at least one AI component (e.g., for image- and speech-recognition, and autonomous driving). AI-based systems are becoming pervasive in society due to advances in AI. Ho…
View article
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases Open
Building on concepts drawn from control theory, self-adaptive software handles environmental and internal uncertainties by dynamically adjusting its architecture and parameters in response to events such as workload changes and component f…
View article
Test Your Self-Driving Algorithm: An Overview of Publicly Available Driving Datasets and Virtual Testing Environments Open
Many companies aim for delivering systems for autonomous driving reaching out for SAE Level 5. As these systems run much more complex software than typical premium cars of today, a thorough testing strategy is needed. Early prototyping of …
View article
Sorting and Transforming Program Repair Ingredients via Deep Learning Code Similarities Open
In the field of automated program repair, the redundancy assumption claims large programs contain the seeds of their own repair. However, most redundancy-based program repair techniques do not reason about the repair ingredients---the code…
View article
Deep learning similarities from different representations of source code Open
Assessing the similarity between code components plays a pivotal role in a number of Software Engineering (SE) tasks, such as clone detection, impact analysis, refactoring, etc. Code similarity is generally measured by relying on manually …
View article
An Ensemble Oversampling Model for Class Imbalance Problem in Software Defect Prediction Open
Software systems are now ubiquitous and are used every day for automation purposes in personal and enterprise applications; they are also essential to many safety-critical and mission-critical systems, e.g., air traffic control systems, au…
View article
RefDiff: Detecting Refactorings in Version Histories Open
Refactoring is a well-known technique that is widely adopted by software\nengineers to improve the design and enable the evolution of a system. Knowing\nwhich refactoring operations were applied in a code change is a valuable\ninformation …
View article
A New Model for Predicting Component-Based Software Reliability Using Soft Computing Open
Software engineering is the process of developing software by utilizing applications of computer engineering. In the present day, predicting the reliability of the software system become a recent issue and an attractive issue for the resea…
View article
Leveraging rust types for modular specification and verification Open
Rust's type system ensures memory safety: well-typed Rust programs are guaranteed to not exhibit problems such as dangling pointers, data races, and unexpected side effects through aliased references. Ensuring correctness properties beyond…
View article
Software fairness Open
A goal of software engineering research is advancing software quality and the success of the software engineering process. However, while recent studies have demonstrated a new kind of defect in software related to its ability to operate i…
View article
Using bad learners to find good configurations Open
Finding the optimally performing configuration of a software system for a given setting is often challenging. Recent approaches address this challenge by learning performance models based on a sample set of configurations. However, buildin…
View article
Component-Oriented Software Technology Open
Modernsoft aresystE0 are increasingly requiredt be open and dist ibut81 Suchsyst08 are opennot only int erms ofnet orkconnectR06 andint0 operabilit support forhet1 ogeneous hardware andsoft are plat orms,but above all, int2 ms of evolving …
View article
LArSoft: toolkit for simulation, reconstruction and analysis of liquid argon TPC neutrino detectors Open
LArSoft is a set of detector-independent software tools for the simulation, reconstruction and analysis of data from liquid argon (LAr) neutrino experiments The common features of LAr time projection chambers (TPCs) enable sharing of algor…
View article
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review Open
Autonomous, or self-driving, cars are emerging as the solution to several problems primarily caused by humans on roads, such as accidents and traffic congestion. However, those benefits come with great challenges in the verification and va…
View article
An Open Source Software Suite for Multi-Dimensional Meteorological Data Computation and Visualisation Open
MeteoInfo Java software tools were developed for multi-dimensional meteorological data analysis and visualisation by integrating a Geographic Information System (GIS) and Scientific Computation Environment (SCE). Included are a Java class …
View article
Multi-view approaches for software and system modelling: a systematic literature review Open
Over the years, a number of approaches have been proposed on the description of systems and software in terms of multiple views represented by models. This modelling branch, so-called multi-view software and system modelling, praises a dif…
View article
What Is Really Different in Engineering AI-Enabled Systems? Open
Advances in machine learning (ML) algorithms and increasing availability of computational power have resulted in huge investments in systems that aspire to exploit artificial intelligence (AI), in particular ML. AIenabled systems, software…
View article
Classifying Code Comments in Java Open-Source Software Systems Open
Code comments are a key software component containing information about the underlying implementation. Several studies have shown that code comments enhance the readability of the code. Nevertheless, not all the comments have the same goal…
View article
Control-Theoretical Software Adaptation: A Systematic Literature Review Open
Modern software applications are subject to uncertain operating conditions, such as dynamics in the availability of services and variations of system goals. Consequently, runtime changes cannot be ignored, but often cannot be predicted at …
View article
Concept Of Ideal Software And Its Realization Scenarios Open
Ideal software, by definition, is a general purpose software model which can be used for any platform, any type of system, and application automation, without making modifications in the form of structure, coding by an external person/agen…
View article
The Evolution of the Linux Build System Open
Software evolution entails more than just redesigning and reimplementing functionality of, fixing bugs in, or adding new features to source code. These evolutionary forces induce similar changes on the software's build system too, with far…
View article
Real-Time Systems Design and Analysis : Tools for the Practitioner Open
An important resource, this book offers an introduction and overview of real-time systems: systems where timeliness is a crucial part of the correctness of the system. It contains a pragmatic overview of key topics (computer architecture a…
View article
A Framework for Software Defect Prediction and Metric Selection Open
Automated software defect prediction is an important and fundamental activity in the domain of software development. However, modern software systems are inherently large and complex with numerous correlated metrics that capture different …
View article
Automatic Verification of C and Java Programs: SV-COMP 2019 Open
This report describes the 2019 Competition on Software Verification (SV-COMP), the 8$$^{\text {th}}$$ edition of a series of comparative evaluations of fully automatic software verifiers for C programs, and now also for Java programs. The …
View article
Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack Open
Many approaches for testing configurable software systems start from the same assumption: it is impossible to test all configurations. This motivated the definition of variability-aware abstractions and sampling techniques to cope with lar…
View article
Where Does It Go? Open
System software commonly uses indirect calls to realize dynamic program behaviors. However, indirect-calls also bring challenges to constructing a precise control-flow graph that is a standard pre-requisite for many static program-analysis…