Azala

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 – November 1, 2024, Proceedings /

This book constitutes the refereed proceedings of the 36th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2024, held in London, UK, during October 30–November 1, 2024. The 17 full papers and 5 short papers included in this book were carefully reviewed and selected from 4...

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	SpringerLink (Online service)
Beste egile batzuk:	Menéndez, Héctor D. (Argitaratzailea), Bello-Orgaz, Gema (Argitaratzailea), Barnard, Pepita (Argitaratzailea), Bautista, John Robert (Argitaratzailea), Farahi, Arya (Argitaratzailea), Dash, Santanu (Argitaratzailea), Han, DongGyun (Argitaratzailea), Fortz, Sophie (Argitaratzailea), Rodriguez-Fernandez, Victor (Argitaratzailea)
Formatua:	Baliabide elektronikoa eBook
Hizkuntza:	ingelesa
Argitaratua:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edizioa:	1st ed. 2025.
Saila:	Lecture Notes in Computer Science, 15383
Gaiak:	Software engineering. Computer networks . Computer science. Software Engineering. Computer Communication Networks. Computer Science Logic and Foundations of Programming.
Sarrera elektronikoa:	https://doi.org/10.1007/978-3-031-80889-0
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings /
Argitaratua: (2023)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Argitaratua: (2024)

Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19–20, 2024, Proceedings /
Argitaratua: (2024)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
Argitaratua: (2023)

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
Argitaratua: (2023)

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
Argitaratua: (2023)

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
Argitaratua: (2023)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /
Argitaratua: (2025)

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions /
Argitaratua: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /
Argitaratua: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I /
Argitaratua: (2025)

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings /
Argitaratua: (2025)

Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings /
Argitaratua: (2023)

Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers /
Argitaratua: (2023)

Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures /
Argitaratua: (2023)

Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3–6, 2024, Proceedings /
Argitaratua: (2024)

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
Argitaratua: (2025)

Edge Computing – EDGE 2024 8th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings /
Argitaratua: (2025)

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26–28, 2024, Proceedings /
Argitaratua: (2025)

Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7–8, 2025, Proceedings /
Argitaratua: (2025)

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers /
Argitaratua: (2024)

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /
Argitaratua: (2023)

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /
Argitaratua: (2024)

Service-Oriented and Cloud Computing 10th IFIP WG 6.12 European Conference, ESOCC 2023, Larnaca, Cyprus, October 24–25, 2023, Proceedings /
Argitaratua: (2023)

Frontiers in Software Engineering Education Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers /
Argitaratua: (2023)

Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /
Argitaratua: (2025)

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings /
Argitaratua: (2024)

Mathematical Foundations of Software Engineering A Practical Guide to Essentials /
nork: O'Regan, Gerard
Argitaratua: (2023)

VLSI-SoC 2023: Innovations for Trustworthy Artificial Intelligence 31st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023, Sharjah, United Arab Emirates, October 16–18, 2023, Revised Extended Selected Papers /
Argitaratua: (2024)

Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18–22, 2023, Proceedings /
Argitaratua: (2023)

Applied Reconfigurable Computing. Architectures, Tools, and Applications 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20–22, 2024, Proceedings /
Argitaratua: (2024)

Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26–28, 2024, Proceedings /
Argitaratua: (2024)

Service-Oriented and Cloud Computing 11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20–21, 2025, Proceedings /
Argitaratua: (2025)

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25–27, 2024, Proceedings /
Argitaratua: (2025)

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Argitaratua: (2024)

Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers /
Argitaratua: (2023)

Edge Computing – EDGE 2023 7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings /
Argitaratua: (2024)

Electronic Governance with Emerging Technologies Third International Conference, EGETC 2024, Jakarta, Indonesia, September 25–26, 2024, Revised Selected Papers /
Argitaratua: (2025)

From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers /
Argitaratua: (2025)

Artificial Intelligence Applications and Innovations. AIAI 2024 IFIP WG 12.5 International Workshops MHDW 2024, 5G-PINE 2024, and ΑΙ4GD 2024, Corfu, Greece, June 27-30, 2024, Proceedings /
Argitaratua: (2024)