Ảnh bìa

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

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 a...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả của công ty:	SpringerLink (Online service)
Tác giả khác:	Bonfanti, Silvia (Biên tập viên), Gargantini, Angelo (Biên tập viên), Salvaneschi, Paolo (Biên tập viên)
Định dạng:	Điện tử eBook
Ngôn ngữ:	Tiếng Anh
Được phát hành:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Phiên bản:	1st ed. 2023.
Loạt:	Lecture Notes in Computer Science, 14131
Những chủ đề:	Software engineering. Computer engineering. Computer networks . Computer science. Software Engineering. Computer Engineering and Networks. Computer Science Logic and Foundations of Programming.
Truy cập trực tuyến:	https://doi.org/10.1007/978-3-031-43240-8
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Những quyển sách tương tự

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 – November 1, 2024, Proceedings /
Được phát hành: (2025)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Được phát hành: (2024)

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions /
Được phát hành: (2025)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
Được phát hành: (2023)

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
Được phát hành: (2023)

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
Được phát hành: (2023)

Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19–20, 2024, Proceedings /
Được phát hành: (2024)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /
Được phát hành: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /
Được phát hành: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I /
Được phát hành: (2025)

Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings /
Được phát hành: (2023)

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
Được phát hành: (2023)

Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers /
Được phát hành: (2023)

Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures /
Được phát hành: (2023)

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings /
Được phát hành: (2025)

Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18–22, 2023, Proceedings /
Được phát hành: (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 /
Được phát hành: (2024)

Edge Computing – EDGE 2023 7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings /
Được phát hành: (2024)

Frontiers in Software Engineering Education Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers /
Được phát hành: (2023)

Service-Oriented and Cloud Computing 11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20–21, 2025, Proceedings /
Được phát hành: (2025)

Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3–6, 2024, Proceedings /
Được phát hành: (2024)

Service-Oriented and Cloud Computing 10th IFIP WG 6.12 European Conference, ESOCC 2023, Larnaca, Cyprus, October 24–25, 2023, Proceedings /
Được phát hành: (2023)

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings /
Được phát hành: (2024)

Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27–29, 2023, Proceedings /
Được phát hành: (2023)

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /
Được phát hành: (2023)

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /
Được phát hành: (2024)

Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7–8, 2025, Proceedings /
Được phát hành: (2025)

Applied Reconfigurable Computing. Architectures, Tools, and Applications 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20–22, 2024, Proceedings /
Được phát hành: (2024)

Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers /
Được phát hành: (2023)

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers /
Được phát hành: (2024)

Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Được phát hành: (2023)

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26–28, 2024, Proceedings /
Được phát hành: (2025)

Mathematical Foundations of Software Engineering A Practical Guide to Essentials /
Bằng: O'Regan, Gerard
Được phát hành: (2023)

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
Được phát hành: (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 /
Được phát hành: (2025)

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers /
Được phát hành: (2025)

Applied Reconfigurable Computing. Architectures, Tools, and Applications 21st International Symposium, ARC 2025, Seville, Spain, April 9–11, 2025, Proceedings /
Được phát hành: (2025)

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25–27, 2024, Proceedings /
Được phát hành: (2025)

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers /
Được phát hành: (2024)

Blockchain – ICBC 2023 6th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23–26, 2023, Proceedings /
Được phát hành: (2023)