Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14131)
Included in the following conference series:
Conference proceedings info: ICTSS 2023.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (20 papers)
-
Test Case Generation
-
Test Automation and Design
-
Model Based Testing
Other volumes
-
Testing Software and Systems
Keywords
- Architecting
- architecture verification and validation
- artificial intelligence
- automata theory
- computer hardware
- Software testing
- Software engineering
- Verification
- Model-based testing
- Combinatorial testing
- Functional testing
- Compositional testing
- Fuzzing testing
- Regression testing
- Mobile testing
- Test automation
- Security testing
- Software vulnerability
- Smart contracts
- Property-oriented testing
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Testing Software and Systems
Book Subtitle: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings
Editors: Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-43240-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2023
Softcover ISBN: 978-3-031-43239-2Published: 19 September 2023
eBook ISBN: 978-3-031-43240-8Published: 18 September 2023
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 290
Number of Illustrations: 24 b/w illustrations, 40 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Computer Systems Organization and Communication Networks, Logics and Meanings of Programs