Silvia Bonfanti – författare

This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.

The 13 full papers presented together with 6 short papers and one journal paper were carefully reviewed and selected from 56 submissions. The conference focuses on Test Case Generation; Test Automation and Design; Model Based Testing; and AI and Smart Contracts Testing.

This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25–28, 2024.

The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 17th European Conference on Software Architecture, ECSA 2023, held in Istanbul, Turkey, in September 2023.

The 29 full papers included in this book were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: AMP; CASA; DE & I Track; DeMeSSA; FAACS; QUALIFIER; TwinArch; Tools and Demos; Industry Track; and Doctoral Symposium.