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
Editors	Mario Aehnelt, Thomas Kirste
Publisher	ACM
Pages	89:1-89:12
Number of pages	1
Volume	13478
ISBN (Electronic)	9781450396240
ISBN (Print)	978-1-59593-882-4
DOIs	https://doi.org/10.1145/3551349.3556899
Publication status	Published - 19 Sept 2022

Publication series

Name	ACM International Conference Proceeding Series

Fields of science

102 Computer Sciences
102022 Software development

JKU Focus areas

Digital Transformation

Access to Document

10.1145/3551349.3556899

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 M. Aehnelt, & T. Kirste (Eds.), 37th International Conference on Automated Software Engineering (ASE) Rochester, MI, USA (Vol. 13478, pp. 89:1-89:12). Article 89 (ACM International Conference Proceeding Series). ACM. https://doi.org/10.1145/3551349.3556899

Fernandez-Amoros, David ; Heradio, Ruben ; Mayr-Dorn, Christoph et al. / Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel. 37th International Conference on Automated Software Engineering (ASE) Rochester, MI, USA. editor / Mario Aehnelt ; Thomas Kirste. Vol. 13478 ACM, 2022. pp. 89:1-89:12 (ACM International Conference Proceeding Series).

@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 = sep,

day = "19",

doi = "10.1145/3551349.3556899",

language = "English",

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

volume = "13478",

series = "ACM International Conference Proceeding Series",

publisher = "ACM",

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

editor = "Mario Aehnelt and Thomas Kirste",

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 M Aehnelt & T Kirste (eds), 37th International Conference on Automated Software Engineering (ASE) Rochester, MI, USA. vol. 13478, 89, ACM International Conference Proceeding Series, 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. ed. / Mario Aehnelt; Thomas Kirste. Vol. 13478 ACM, 2022. p. 89:1-89:12 89 (ACM International Conference Proceeding Series).

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/9/19

Y1 - 2022/9/19

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.

UR - https://www.scopus.com/pages/publications/85146945642

U2 - 10.1145/3551349.3556899

DO - 10.1145/3551349.3556899

M3 - Conference proceedings

SN - 978-1-59593-882-4

VL - 13478

T3 - ACM International Conference Proceeding Series

SP - 89:1-89:12

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

A2 - Aehnelt, Mario

A2 - Kirste, Thomas

PB - ACM

ER -

Fernandez-Amoros D, Heradio R, Mayr-Dorn C, Egyed A. Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel. In Aehnelt M, Kirste T, editors, 37th International Conference on Automated Software Engineering (ASE) Rochester, MI, USA. Vol. 13478. ACM. 2022. p. 89:1-89:12. 89. (ACM International Conference Proceeding Series). doi: 10.1145/3551349.3556899

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

Other files and links

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

Multi-View Consistency Checking (MCCC)

Cite this

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

Other files and links

Projects

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

Multi-View Consistency Checking (MCCC)

Cite this