Automatic testing and benchmarking for configurable static analysis tools
A Mordahl - Proceedings of the 32nd ACM SIGSOFT International …, 2023 - dl.acm.org
Static analysis is an important tool for detecting bugs in real-world software. The advent of
numerous analysis algorithms with their own tradeoffs has led to the proliferation of …
numerous analysis algorithms with their own tradeoffs has led to the proliferation of …
Bringing together configuration research: Towards a common ground
P Gazzillo, MB Cohen - Proceedings of the 2022 ACM SIGPLAN …, 2022 - dl.acm.org
Configurable software makes up most of the software in use today. Configurability, ie, the
ability of software to be customized without additional programming, is pervasive, and due to …
ability of software to be customized without additional programming, is pervasive, and due to …
Finding broken Linux configuration specifications by statically analyzing the Kconfig language
Highly-configurable software underpins much of our computing infrastructure. It enables
extensive reuse, but opens the door to broken configuration specifications. The configuration …
extensive reuse, but opens the door to broken configuration specifications. The configuration …
Quantifying the potential to automate the synchronization of variants in clone-and-own
In clone-and-own-the predominant paradigm for developing multi-variant software systems
in practice-a new variant of a software system is created by copying and adapting an …
in practice-a new variant of a software system is created by copying and adapting an …
Evolutionary Feature Dependencies: Analyzing Feature Co-Changes in C Systems
Configurable software systems and software product lines build on features as first class
entities for reasoning about commonalities and variability among system variants. While it is …
entities for reasoning about commonalities and variability among system variants. While it is …
Automated program repair for variability bugs in software product line systems
Software product line (SPL) systems are widely employed to develop industrial projects. For
an SPL system, different products/variants are created by combining different subsets of the …
an SPL system, different products/variants are created by combining different subsets of the …
A variability fault localization approach for software product lines
Software fault localization is one of the most expensive, tedious, and time-consuming
activities in program debugging. This activity becomes even much more challenging in …
activities in program debugging. This activity becomes even much more challenging in …
[PDF][PDF] A Little Goes a Long Way: Tuning Configuration Selection for Continuous Kernel Fuzzing
The Linux kernel is actively-developed and widelyused. It supports billions of devices of all
classes, from highperformance computing to the Internet-of-Things, in part because of its …
classes, from highperformance computing to the Internet-of-Things, in part because of its …
An empirical study on configuration-related code weaknesses
Developers often use the C preprocessor to handle variability and portability. However,
many researchers and practitioners criticize the use of preprocessor directives because of …
many researchers and practitioners criticize the use of preprocessor directives because of …
Customizable visualization of quality metrics for object-oriented variability implementations
Many large-scale software systems intensively implement variability to reuse software and
speed up development. Such mechanisms, however, bring additional complexity, which …
speed up development. Such mechanisms, however, bring additional complexity, which …