Fundamental approaches to software engineering : 29th international conference, FASE 2026, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, proceedings / Elvira Albert, Corina Pasareanu, editors.

Format:

Book

Conference/Event

Contributor:

Albert, Elvira, editor.

Păsăreanu, Corina S., editor.

Conference Name:

FASE (Conference) (29th : 2026 : Turin, Italy)

Series:

Lecture notes in computer science ; 16504.

Lecture notes in computer science, 1611-3349 ; 16504

Language:

English

Subjects (All):

Software engineering--Congresses.

Software engineering.

Genre:

proceedings (reports)

Conference papers and proceedings

Conference papers and proceedings.

Physical Description:

1 online resource (xv, 498 pages) : illustrations (chiefly color).

Other Title:

FASE 2026

Place of Publication:

Cham, Switzerland : Springer, [2026]

Summary:

This open access book constitutes the proceedings of the 29th International Conference on Fundamental Approaches to Software Engineering, FASE 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11–16, 2026. The 21 full papers and 6 short tool competition papers included in this volume, together with one invited keynote paper, were carefully reviewed and selected from 65 submissions. The papers cover the following topical sections: Software Engineering and AI; Advanced Software Development; Autonomous Systems and Applications; and Competition on Software Testing (Test-Comp 2026).

Contents:

Model checking in space with applications to medical image analysis : Invited abstract / Gina Belmonte, Vincenzo Ciancia, Diego Latella, and Mieke Massink

Revisiting the role of natural language code comments in code translation / Monika Gupta, Ajay Meena, Anamitra Roy Choudhury, Vijay Arya, and Srikanta Bedathur

From words to code : Do NLP prompting strategies generalize to code generation? / Erin Woo, Sangyeop Yeo, Hyungkook Jun, Sangcheol Kim, Seung-won Hwang, and Yu-Seung Ma

LusGen : Leveraging LLMs for safety-critical Lustre design and requirements traceability / Yili Jiang, Zhuoran Yan, Ning Ge, Yuan Wang, Jiahao Weng, and Chunming Hu

Quantifying privacy risks in synthetic data : A study on black-box membership inference / Giacomo Fantino, Marco Rondina, Antonio Vetrò, and Juan Carlos De Martin

Formally correct search for interpretable DNFs / Imane Bousdira, Martin Cooper, and Aurélie Hurault

DivKC : A divide-and-conquer approach to knowledge compilation / Olivier Zeyen, Karim Tit, Maxime Cordy, and Gilles Perrouin

QEMI : A quantum software stacks testing framework via equivalence modulo inputs / Junjie Luo, Shangzhou Xia, Fuyuan Zhang, and Jianjun Zhao

Towards decentralised dynamic reconfiguration of software systems / Mina Yavari and Damian Arellanes

Analyses as first-class citizens in model-driven development / Tianhai Liu, Shmuel Tyszberowicz, and Bernhard Beckert

Don’t go MAD with anomalies! Design-time microservice anomaly detection in migration to microservices / Valentim Romão, Rafael Soares, Luís Rodrigues, and Vasco Manquinho

EasyRpl : A web-based tool for modelling and analysis of cross-organisational workflows / Muhammad Rizwan Ali, Violet Ka I Pun, and Guillermo Román-Díez

ForumSeeker : Fusion retrieval of online technical forums for effective troubleshooting / Youyang Kim, Yaoping Ruan, Young-Kyoon Suh, Liqiang Wang, and Byungchul Tak

Failure modes and effects analysis : An experience from the e-bike domain / Andrea Bombarda, Federico Conti, Marcello Minervini, Aurora Zanenga, and Claudio Menghi

Causal liability in autonomous systems / Kaveh Aryan, Hana Chockler, and Mohammad Reza Mousavi

Search-based software testing for drone applications : An experience with the Simulink environment / Annalisa Sergi, Yousef Ahmed Abdel Rahman Shoeib, Andrea Bombarda, Nunzio Marco Bisceglia, and Claudio Menghi

Modeling and analyzing planning-aware distributed cyber-physical systems with timed graph transformation systems / Mustafa Ghani and Holger Giese

Composing clinical activity guidance for multimorbidity via bounded relational analysis / Artur Boronat

Abstract symbolic finite automata for algorithmic game semantics / Aleksandar S. Dimovski

Timed contract automata / Bernhard Beckert, Andreas Bremer, and Alexander Weigl

Unified timing-aware program verification / Dóra Cziborová, Mihály Dobos-Kovács, Kristóf Marussy, and András Vörös

Testing in formal verification via witness generation (empirical evaluation) / Dirk Beyer, Thomas Lemberger, and Henrik Wachowitz

Evaluating tools for automatic software testing (report on Test-Comp 2026) / Dirk Beyer

TestCoCa : Test-suite coverage calculator (competition contribution) / Martin Ergang and Marek Trtík

AFL-TC : Transforming fuzzer test inputs for Test-Comp (competition contribution) / Thomas Lemberger and Henrik Wachowitz

FDSE v2 : Variable importance guided hybrid fuzzing (competition contribution) / Guofeng Zhang, Zhenbang Chen, and Ji Wang

Sikraken : Symbolic execution using constraint logic programming for generating test inputs (competition contribution) / Christophe Meudec

Ultimate TestGen : Combining parallel trace abstraction and symbolic path execution (competition contribution) / Max Barth, Daniel Dietsch, Matthias Heizmann, and Marie-Christine Jakobs.

Notes:

International conference proceedings.

Includes bibliographical references and index.

Online resource; title from PDF title page (Springer Nature Link, viewed April 21, 2026).

ISBN:

9783032227744

3032227747

OCLC:

1586811457

Access Restriction:

Some versions: Open access versions available from some providers open access