Angelo Gargantini - Böcker
Visar alla böcker från författaren Angelo Gargantini. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Del 14131 - Lecture Notes in Computer Science
Testing Software and Systems
35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings
Häftad, Engelska, 2023
773 kr
Skickas inom 10-15 vardagar
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.
Rigorous State-Based Methods
10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
Häftad, Engelska, 2024
827 kr
Skickas inom 10-15 vardagar
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;
Abstract State Machines 2003: Advances in Theory and Practice
10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
Häftad, Engelska, 2003
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003.The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well.
Tests and Proofs
4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings
Häftad, Engelska, 2010
554 kr
Skickas inom 10-15 vardagar
This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 1–2 in M´ alaga, Spain as part of TOOLS Federated Conferences. TAP 2010wasthe fourth event of an ongoingseriesof conferencesdevoted to the convergence of proofs and tests. In the past, proving and testing were seen as very di?erent and even competing techniques. Proving people would say: If correctness is proved, what do we need tests for? Testers, on the other hand, would claim that proving is too limited in applicability and testing is the only truepathtocorrectness. Ofcourse,bothhaveapoint,buttoquoteEdBrinksma from his 2009 keynote at the Dutch Testing Day and Testcom/FATES: “Who would want to ?y in an airplane with software proved correct, but not tested?” Indeed, the true power lies in the combination of both approaches. Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make it possible to apply proof techniques where there was no possibility previously. At a time when even mainstream software engineering conferences start f- turing papers with both “testing” and “proving”in their titles, we are clearly on the verge of a new age where testing and proving are not competing but ?nally accepted as complementary techniques. Albeit, we are not quite there yet, and so the TAP conferences aim to provide a forum for researchers working on the converging topics and to raise general awareness of this convergence.