Proceedings, 2020 IEEE 13th International Conference on Software Testing, Verification and Validation
Title | Proceedings, 2020 IEEE 13th International Conference on Software Testing, Verification and Validation PDF eBook |
Author | |
Publisher | |
Pages | 475 |
Release | 2020 |
Genre | Computer software |
ISBN |
Proceedings, 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops
Title | Proceedings, 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops PDF eBook |
Author | |
Publisher | |
Pages | 493 |
Release | 2020 |
Genre | Computer software |
ISBN |
2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops
Title | 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops PDF eBook |
Author | |
Publisher | |
Pages | |
Release | 2020 |
Genre | |
ISBN | 9781728110752 |
Special Issue: IEEE International Conference on Software Testing, Verification and Validation (ICST 2020)
Title | Special Issue: IEEE International Conference on Software Testing, Verification and Validation (ICST 2020) PDF eBook |
Author | Corina S. Păsăreanu |
Publisher | |
Pages | 0 |
Release | 2022 |
Genre | |
ISBN |
Software Verification
Title | Software Verification PDF eBook |
Author | Maria Christakis |
Publisher | Springer Nature |
Pages | 239 |
Release | 2020-12-05 |
Genre | Computers |
ISBN | 3030636186 |
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).
10th IEEE International Conference on Software Testing, Verification and Validation
Title | 10th IEEE International Conference on Software Testing, Verification and Validation PDF eBook |
Author | |
Publisher | |
Pages | |
Release | 2017 |
Genre | Computer software |
ISBN | 9781509060313 |
Proceedings of International Conference on Computational Intelligence and Data Engineering
Title | Proceedings of International Conference on Computational Intelligence and Data Engineering PDF eBook |
Author | Nabendu Chaki |
Publisher | Springer Nature |
Pages | 472 |
Release | 2022-02-28 |
Genre | Technology & Engineering |
ISBN | 9811671826 |
This book covers various topics, including collective intelligence, intelligent transportation systems, fuzzy systems, Bayesian network, ant colony optimization, data privacy and security, data mining, data warehousing, big data analytics, cloud computing, natural language processing, swarm intelligence, and speech processing. This book is a collection of high-quality research work on cutting-edge technologies and the most-happening areas of computational intelligence and data engineering. It includes selected papers from the International Conference on Computational Intelligence and Data Engineering (ICCIDE 2021).