Fundamentals of Software Engineering : 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings (Lecture Notes in Computer Science)

Hojjat, Hossein (EDT)/ Caltais, Georgiana (EDT)

Springer International Publishing AG（2025/03発売）

• 製本 Paperback:紙装版/ペーパーバック版／ページ数 187 p.
• 言語 ENG
• 商品コード 9783031870538
• DDC分類 005.1

Full Description

This book constitutes the proceedings of the 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025, held in Västerås, Sweden during April 7-8, 2025.

The 11 full papers  and 1 short paper included in this book were carefully reviewed and selected from 30 submissions. They deal with all aspects of formal methods, with a strong emphasis on promoting their industrial applications and integrating them with practical engineering practices.

Contents

.- Improved Gas Optimization of Smart Contracts.

.- Distributing Quantum Circuits Using Formal Methods.

.- Automated Test Generation: Taxonomy and Tool Applications.

.- Finding Universally Quantified Heap Invariants by Horn Clause Transformations.

.- A Framework for Model-Based Specification and Verification in Feature-Oriented Software Product Lines.

.- Extracting Formal Models for User's Behaviors in Social Networks using Automata and Machine Learning.

.- Shielded Online Reinforcement Learning for Stormwater Detention Ponds.

.- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic.

.- On time-sensitive control closure for secure information flow.

.- Automatic Generation of Loop Invariants in Dafny with Large Language Models.

.- Streamlining Parameter Tuning in Full-Body Racing Simulators with an Automated Pipeline.

.- Formally Verified Verifiable Group Generators.