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)

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

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.

Original language	English
Title of host publication	Testing Software and Systems - 36th IFIP WG 6.1 International Conference, ICTSS 2024, Proceedings
Editors	Héctor D. Menéndez, Gema Bello-Orgaz, Pepita Barnard, John Robert Bautista, Arya Farahi, Santanu Dash, DongGyun Han, Sophie Fortz, Victor Rodriguez-Fernandez
Publisher	Springer, Cham
Pages	151–158
Number of pages	8
ISBN (Electronic)	978-3-031-80888-3
ISBN (Print)	978-3-031-80888-3
DOIs	https://doi.org/10.1007/978-3-031-80889-0_10
Publication status	Published - 25 Jan 2025
Event	IFIP International Conference on Testing Software and Systems, ICTSS 2024 - London, United Kingdom Duration: 31 Oct 2024 → 2 Nov 2024

Publication series

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

Conference

Conference	IFIP International Conference on Testing Software and Systems, ICTSS 2024
Country/Territory	United Kingdom
City	London
Period	31/10/24 → 2/11/24

Keywords

Answer set programming
Mutation testing
Mutant generation

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

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

Cite this

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 (Eds.), Testing Software and Systems - 36th IFIP WG 6.1 International Conference, ICTSS 2024, Proceedings (pp. 151–158). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 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. ed. / 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. p. 151–158 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 15383 LNCS).

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

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 (eds), 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), vol. 15383 LNCS, Springer, Cham, pp. 151–158, IFIP International Conference on Testing Software and Systems, ICTSS 2024, London, United Kingdom, 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, editors, Testing Software and Systems - 36th IFIP WG 6.1 International Conference, ICTSS 2024, Proceedings. Springer, Cham. 2025. p. 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. editor / 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. pp. 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

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

AI4CSM - Automotive Intelligence for/at Connected Shared Mobility

Cite this

Mutating Clingo's AST with clingabomino

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Projects

AI4CSM - Automotive Intelligence for/at Connected Shared Mobility

Cite this