Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel

David Fernandez-Amoros; Ruben Heradio; Christoph Mayr-Dorn; Alexander Egyed

doi:10.1145/3551349.3556899

Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel

David Fernandez-Amoros, Ruben Heradio, Christoph Mayr-Dorn, Alexander Egyed

Institute of Software Systems Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

We summarize the paper Maintaining Consistency across Engineering Artifacts, published at IEEE Computer 51(2), pp. 28-35, 2018. Detecting inconsistencies across multi-domain and multi-tool artifacts is an important and critical task. Inconsistencies may lead to project failures, cost, and schedule overrun - especially when identified incorrectly or late. The paper we summarize explores a technology for consistency checking that is able to automatically and continuously detect inconsistencies - both among knowledge within and across engineering tools.

Original language	English
Title of host publication	37th International Conference on Automated Software Engineering (ASE) Rochester, MI, USA
Publisher	ACM
Pages	89:1-89:12
Number of pages	1
Volume	13478
ISBN (Print)	978-1-59593-882-4
DOIs	https://doi.org/10.1145/3551349.3556899
Publication status	Published - Nov 2022

Publication series

Name	Lecture Notes in Computer Science (LNCS)

Fields of science

102 Computer Sciences
102022 Software development

JKU Focus areas

Digital Transformation

Access to Document

10.1145/3551349.3556899

Integration of Validation into a Refinement-based Rigorous Development Process (IVOIRE)
Egyed, A. (Researcher) & Mashkoor, A. (PI)
FWF
01.06.2020 → 31.01.2024
Project: Funded research › FWF - Austrian Science Fund
Multi-View Consistency Checking (MCCC)
Egyed, A. (PI)
FWF
26.05.2019 → 25.11.2024
Project: Funded research › FWF - Austrian Science Fund

Cite this

Fernandez-Amoros, D., Heradio, R., Mayr-Dorn, C., & Egyed, A. (2022). Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel. In 37th International Conference on Automated Software Engineering (ASE) Rochester, MI, USA (Vol. 13478, pp. 89:1-89:12). Article 89 (Lecture Notes in Computer Science (LNCS)). ACM. https://doi.org/10.1145/3551349.3556899

@inproceedings{9c93e3a068904035a1ea5623735b3d77,

title = "Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel",

abstract = "We summarize the paper Maintaining Consistency across Engineering Artifacts, published at IEEE Computer 51(2), pp. 28-35, 2018. Detecting inconsistencies across multi-domain and multi-tool artifacts is an important and critical task. Inconsistencies may lead to project failures, cost, and schedule overrun - especially when identified incorrectly or late. The paper we summarize explores a technology for consistency checking that is able to automatically and continuously detect inconsistencies - both among knowledge within and across engineering tools.",

author = "David Fernandez-Amoros and Ruben Heradio and Christoph Mayr-Dorn and Alexander Egyed",

year = "2022",

month = nov,

doi = "10.1145/3551349.3556899",

language = "English",

isbn = "978-1-59593-882-4",

volume = "13478",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "ACM",

pages = "89:1--89:12",

booktitle = "37th International Conference on Automated Software Engineering (ASE) Rochester, MI, USA",

}

Fernandez-Amoros, D, Heradio, R, Mayr-Dorn, C & Egyed, A 2022, Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel. in 37th International Conference on Automated Software Engineering (ASE) Rochester, MI, USA. vol. 13478, 89, Lecture Notes in Computer Science (LNCS), ACM, pp. 89:1-89:12. https://doi.org/10.1145/3551349.3556899

Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel. / Fernandez-Amoros, David; Heradio, Ruben; Mayr-Dorn, Christoph et al.
37th International Conference on Automated Software Engineering (ASE) Rochester, MI, USA. Vol. 13478 ACM, 2022. p. 89:1-89:12 89 (Lecture Notes in Computer Science (LNCS)).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel

AU - Fernandez-Amoros, David

AU - Heradio, Ruben

AU - Mayr-Dorn, Christoph

AU - Egyed, Alexander

PY - 2022/11

Y1 - 2022/11

N2 - We summarize the paper Maintaining Consistency across Engineering Artifacts, published at IEEE Computer 51(2), pp. 28-35, 2018. Detecting inconsistencies across multi-domain and multi-tool artifacts is an important and critical task. Inconsistencies may lead to project failures, cost, and schedule overrun - especially when identified incorrectly or late. The paper we summarize explores a technology for consistency checking that is able to automatically and continuously detect inconsistencies - both among knowledge within and across engineering tools.

AB - We summarize the paper Maintaining Consistency across Engineering Artifacts, published at IEEE Computer 51(2), pp. 28-35, 2018. Detecting inconsistencies across multi-domain and multi-tool artifacts is an important and critical task. Inconsistencies may lead to project failures, cost, and schedule overrun - especially when identified incorrectly or late. The paper we summarize explores a technology for consistency checking that is able to automatically and continuously detect inconsistencies - both among knowledge within and across engineering tools.

U2 - 10.1145/3551349.3556899

DO - 10.1145/3551349.3556899

M3 - Conference proceedings

SN - 978-1-59593-882-4

VL - 13478

T3 - Lecture Notes in Computer Science (LNCS)

SP - 89:1-89:12

BT - 37th International Conference on Automated Software Engineering (ASE) Rochester, MI, USA

PB - ACM

ER -

Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel

Abstract

Publication series

Fields of science

JKU Focus areas

Access to Document

Projects

Integration of Validation into a Refinement-based Rigorous Development Process (IVOIRE)

Multi-View Consistency Checking (MCCC)

Cite this