Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 18-Sep-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031432408)
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...Loe edasi...
Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 18-Sep-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031432408)
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...Loe edasi...
(Ilmumisaeg: 19-Jul-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031388286)
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (Int...Loe edasi...
(Ilmumisaeg: 19-Jul-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031388286)
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (Int...Loe edasi...
(Ilmumisaeg: 01-May-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031321573)
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. The 9 full papers and 2 short papers included in this book were carefully...Loe edasi...
(Ilmumisaeg: 01-May-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031321573)
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. The 9 full papers and 2 short papers included in this book were carefully...Loe edasi...
(Ilmumisaeg: 22-Aug-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031150777)
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include fo...Loe edasi...
(Ilmumisaeg: 22-Aug-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031150777)
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include fo...Loe edasi...
(Ilmumisaeg: 21-Jun-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031098277)
This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.The...Loe edasi...
(Ilmumisaeg: 21-Jun-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031098277)
This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.The...Loe edasi...
(Ilmumisaeg: 09-May-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031046735)
This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic.The 10 regul...Loe edasi...
(Ilmumisaeg: 09-May-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031046735)
This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic.The 10 regul...Loe edasi...
This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefu...Loe edasi...
This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefu...Loe edasi...
This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were care...Loe edasi...
This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were care...Loe edasi...
This book constitutes the proceedings of the 15th International Conference on Tests and Proofs, TAP 2021, which was held as part of Software Technologies: Applications and Foundations, STAF 2021, and took place online during June 12-25, 2021.The 6 fu...Loe edasi...
This book constitutes the proceedings of the 15th International Conference on Tests and Proofs, TAP 2021, which was held as part of Software Technologies: Applications and Foundations, STAF 2021, and took place online during June 12-25, 2021.The 6 fu...Loe edasi...
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19...Loe edasi...
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19...Loe edasi...
