Mutating Clingo's AST with clingabomino

Liliana Marie Prikler; Franz Wotawa

doi:10.1007/978-3-031-80889-0_10

Mutating Clingo's AST with clingabomino

Liliana Marie Prikler, Franz Wotawa

Institute of Software Engineering and Artificial Intelligence (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Abstract

Although answer-set programming has been a tried way of problem-solving for over thirty years, few tools and methodologies exist today to test it rigorously. Previous research suggests that mutation testing is able to uncover flaws even with small inputs. In this paper, we introduce clingabomino, a mutant generator implemented in C++ that directly operates on the abstract syntax tree of the Clingo solver. Our tool consists of a command-line application that implements commonly useful mutation operators as well as a library to aid in the development of domain-specific mutation operators.

Originalsprache	englisch
Titel	Testing Software and Systems - 36th IFIP WG 6.1 International Conference, ICTSS 2024, Proceedings
Redakteure/-innen	Héctor D. Menéndez, Gema Bello-Orgaz, Pepita Barnard, John Robert Bautista, Arya Farahi, Santanu Dash, DongGyun Han, Sophie Fortz, Victor Rodriguez-Fernandez
Herausgeber (Verlag)	Springer, Cham
Seiten	151–158
Seitenumfang	8
ISBN (elektronisch)	978-3-031-80888-3
ISBN (Print)	978-3-031-80888-3
DOIs	https://doi.org/10.1007/978-3-031-80889-0_10
Publikationsstatus	Veröffentlicht - 25 Jan. 2025
Veranstaltung	IFIP International Conference on Testing Software and Systems, ICTSS 2024 - London, Großbritannien / Vereinigtes Königreich Dauer: 31 Okt. 2024 → 2 Nov. 2024

Publikationsreihe

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Band	15383 LNCS
ISSN (Print)	0302-9743
ISSN (elektronisch)	1611-3349

Konferenz

Konferenz	IFIP International Conference on Testing Software and Systems, ICTSS 2024
Land/Gebiet	Großbritannien / Vereinigtes Königreich
Ort	London
Zeitraum	31/10/24 → 2/11/24

ASJC Scopus subject areas

Theoretische Informatik
Allgemeine Computerwissenschaft

Zugriff auf Dokument

10.1007/978-3-031-80889-0_10

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

AI4CSM - Automotive Intelligenz für/mit Connected Shared Mobilität
Wotawa, F. (Teilnehmer (Co-Investigator))
1/05/21 → 30/11/24
Projekt: Forschungsprojekt

Dieses zitieren

Prikler, L. M., & Wotawa, F. (2025). Mutating Clingo's AST with clingabomino. in H. D. Menéndez, G. Bello-Orgaz, P. Barnard, J. R. Bautista, A. Farahi, S. Dash, D. Han, S. Fortz, & V. Rodriguez-Fernandez (Hrsg.), Testing Software and Systems - 36th IFIP WG 6.1 International Conference, ICTSS 2024, Proceedings (S. 151–158). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 15383 LNCS). Springer, Cham. https://doi.org/10.1007/978-3-031-80889-0_10

Mutating Clingo's AST with clingabomino. / Prikler, Liliana Marie ; Wotawa, Franz.
Testing Software and Systems - 36th IFIP WG 6.1 International Conference, ICTSS 2024, Proceedings. Hrsg. / Héctor D. Menéndez; Gema Bello-Orgaz; Pepita Barnard; John Robert Bautista; Arya Farahi; Santanu Dash; DongGyun Han; Sophie Fortz; Victor Rodriguez-Fernandez. Springer, Cham, 2025. S. 151–158 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 15383 LNCS).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Prikler, LM & Wotawa, F 2025, Mutating Clingo's AST with clingabomino. in HD Menéndez, G Bello-Orgaz, P Barnard, JR Bautista, A Farahi, S Dash, D Han, S Fortz & V Rodriguez-Fernandez (Hrsg.), Testing Software and Systems - 36th IFIP WG 6.1 International Conference, ICTSS 2024, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bd. 15383 LNCS, Springer, Cham, S. 151–158, IFIP International Conference on Testing Software and Systems, ICTSS 2024, London, Großbritannien / Vereinigtes Königreich, 31/10/24. https://doi.org/10.1007/978-3-031-80889-0_10

Prikler LM , Wotawa F. Mutating Clingo's AST with clingabomino. in Menéndez HD, Bello-Orgaz G, Barnard P, Bautista JR, Farahi A, Dash S, Han D, Fortz S, Rodriguez-Fernandez V, Hrsg., Testing Software and Systems - 36th IFIP WG 6.1 International Conference, ICTSS 2024, Proceedings. Springer, Cham. 2025. S. 151–158. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-80889-0_10

Prikler, Liliana Marie ; Wotawa, Franz. / Mutating Clingo's AST with clingabomino. Testing Software and Systems - 36th IFIP WG 6.1 International Conference, ICTSS 2024, Proceedings. Hrsg. / Héctor D. Menéndez ; Gema Bello-Orgaz ; Pepita Barnard ; John Robert Bautista ; Arya Farahi ; Santanu Dash ; DongGyun Han ; Sophie Fortz ; Victor Rodriguez-Fernandez. Springer, Cham, 2025. S. 151–158 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{da49f0e3a9584cb48a458d197fcb3867,

title = "Mutating Clingo's AST with clingabomino",

abstract = "Although answer-set programming has been a tried way of problem-solving for over thirty years, few tools and methodologies exist today to test it rigorously. Previous research suggests that mutation testing is able to uncover flaws even with small inputs. In this paper, we introduce clingabomino, a mutant generator implemented in C++ that directly operates on the abstract syntax tree of the Clingo solver. Our tool consists of a command-line application that implements commonly useful mutation operators as well as a library to aid in the development of domain-specific mutation operators.",

keywords = "Answer set programming, Mutation testing, Mutant generation",

author = "Prikler, \{Liliana Marie\} and Franz Wotawa",

year = "2025",

month = jan,

day = "25",

doi = "10.1007/978-3-031-80889-0\_10",

language = "English",

isbn = "978-3-031-80888-3",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Cham",

pages = "151–158",

editor = "Men{\'e}ndez, \{H{\'e}ctor D.\} and Gema Bello-Orgaz and Pepita Barnard and Bautista, \{John Robert\} and Arya Farahi and Santanu Dash and DongGyun Han and Sophie Fortz and Victor Rodriguez-Fernandez",

booktitle = "Testing Software and Systems - 36th IFIP WG 6.1 International Conference, ICTSS 2024, Proceedings",

note = "IFIP International Conference on Testing Software and Systems, ICTSS 2024 ; Conference date: 31-10-2024 Through 02-11-2024",

}

TY - GEN

T1 - Mutating Clingo's AST with clingabomino

AU - Prikler, Liliana Marie

AU - Wotawa, Franz

PY - 2025/1/25

Y1 - 2025/1/25

N2 - Although answer-set programming has been a tried way of problem-solving for over thirty years, few tools and methodologies exist today to test it rigorously. Previous research suggests that mutation testing is able to uncover flaws even with small inputs. In this paper, we introduce clingabomino, a mutant generator implemented in C++ that directly operates on the abstract syntax tree of the Clingo solver. Our tool consists of a command-line application that implements commonly useful mutation operators as well as a library to aid in the development of domain-specific mutation operators.

AB - Although answer-set programming has been a tried way of problem-solving for over thirty years, few tools and methodologies exist today to test it rigorously. Previous research suggests that mutation testing is able to uncover flaws even with small inputs. In this paper, we introduce clingabomino, a mutant generator implemented in C++ that directly operates on the abstract syntax tree of the Clingo solver. Our tool consists of a command-line application that implements commonly useful mutation operators as well as a library to aid in the development of domain-specific mutation operators.

KW - Answer set programming

KW - Mutation testing

KW - Mutant generation

UR - http://www.scopus.com/inward/record.url?scp=85218463856&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-80889-0_10

DO - 10.1007/978-3-031-80889-0_10

M3 - Conference paper

SN - 978-3-031-80888-3

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 151

EP - 158

BT - Testing Software and Systems - 36th IFIP WG 6.1 International Conference, ICTSS 2024, Proceedings

A2 - Menéndez, Héctor D.

A2 - Bello-Orgaz, Gema

A2 - Barnard, Pepita

A2 - Bautista, John Robert

A2 - Farahi, Arya

A2 - Dash, Santanu

A2 - Han, DongGyun

A2 - Fortz, Sophie

A2 - Rodriguez-Fernandez, Victor

PB - Springer, Cham

T2 - IFIP International Conference on Testing Software and Systems, ICTSS 2024

Y2 - 31 October 2024 through 2 November 2024

ER -

Mutating Clingo's AST with clingabomino

Abstract

Publikationsreihe

Konferenz

ASJC Scopus subject areas

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Projekte

AI4CSM - Automotive Intelligenz für/mit Connected Shared Mobilität

Dieses zitieren