- Table View
- List View
Software Test Design: Write comprehensive test plans to uncover critical bugs in web, desktop, and mobile apps
by Simon AmeyA guide to writing comprehensive test plans covering exploratory testing and feature specification; black and white box testing; security, usability, and maintainability; and load and stress testingKey FeaturesCover all key forms of testing for modern applications systematicallyUnderstand anti-patterns and pitfalls in system design with the help of practical examplesLearn the strengths and weaknesses of different forms of testing and how to combine them effectivelyBook DescriptionSoftware Test Design details best practices for testing software applications and writing comprehensive test plans. Written by an expert with over twenty years of experience in the high-tech industry, this guide will provide you with training and practical examples to improve your testing skills. Thorough testing requires a thorough understanding of the functionality under test, informed by exploratory testing and described by a detailed functional specification. This book is divided into three sections, the first of which will describe how best to complete those tasks to start testing from a solid foundation. Armed with the feature specification, functional testing verifies the visible behavior of features by identifying equivalence partitions, boundary values, and other key test conditions. This section explores techniques such as black- and white-box testing, trying error cases, finding security weaknesses, improving the user experience, and how to maintain your product in the long term. The final section describes how best to test the limits of your application. How does it behave under failure conditions and can it recover? What is the maximum load it can sustain? And how does it respond when overloaded? By the end of this book, you will know how to write detailed test plans to improve the quality of your software applications.What you will learnUnderstand how to investigate new features using exploratory testingDiscover how to write clear, detailed feature specifi cationsExplore systematic test techniques such as equivalence partitioningUnderstand the strengths and weaknesses of black- and white-box testingRecognize the importance of security, usability, and maintainability testingVerify application resilience by running destructive testsRun load and stress tests to measure system performanceWho this book is forThis book is for anyone testing software projects for mobile, web, or desktop applications. That includes Dedicated QA engineers managing software quality, Test and test automation engineers writing formal test plans, Test and QA managers running teams responsible for testing, Product owners responsible for product delivery, and Developers who want to improve the testing of their code.
Software Testing
by Fairouz Tchier Ali MiliExplores and identifies the main issues, concepts, principles and evolution of software testing, including software quality engineering and testing concepts, test data generation, test deployment analysis, and software test management This book examines the principles, concepts, and processes that are fundamental to the software testing function. This book is divided into five broad parts. Part I introduces software testing in the broader context of software engineering and explores the qualities that testing aims to achieve or ascertain, as well as the lifecycle of software testing. Part II covers mathematical foundations of software testing, which include software specification, program correctness and verification, concepts of software dependability, and a software testing taxonomy. Part III discusses test data generation, specifically, functional criteria and structural criteria. Test oracle design, test driver design, and test outcome analysis is covered in Part IV. Finally, Part V surveys managerial aspects of software testing, including software metrics, software testing tools, and software product line testing. Presents software testing, not as an isolated technique, but as part of an integrated discipline of software verification and validation Proposes program testing and program correctness verification within the same mathematical model, making it possible to deploy the two techniques in concert, by virtue of the law of diminishing returns Defines the concept of a software fault, and the related concept of relative correctness, and shows how relative correctness can be used to characterize monotonic fault removal Presents the activity of software testing as a goal oriented activity, and explores how the conduct of the test depends on the selected goal Covers all phases of the software testing lifecycle, including test data generation, test oracle design, test driver design, and test outcome analysis Software Testing: Concepts and Operations is a great resource for software quality and software engineering students because it presents them with fundamentals that help them to prepare for their ever evolving discipline.
Software Testing 2020: Preparing for New Roles
by Mukesh SharmaSoftware testing is at a very important crossroad, where it is going back to the roots on certain fronts while moving inexorably forward. For instance, test automation is growing in prominence, but manual testing is becoming a niche; we are increasingly collaborating with the developers, breaking the bounds of unrealistic independence in testing, and bringing in true conscious quality. At such an important stage, it is important to take stock of the past, present, and future to define both the direction the discipline will take as well as the careers it will entail for testers. This book looks at a range of topics covering where we are in the product development landscape today, what are the varied disciplines at play, what are the influencing factors bringing in a change in software testing, why is such change important, what did the past look like, what is current decade turning out to be like, and where are we heading. As for future, it looks at it both from near-term and long-term perspectives. It also considers whether the testing fraternity is ready to take on such changes and are empowered enough to do so, or are there gaps that need to be filled. The book closes with perspectives from industry experts on what is in store for the software testing discipline and community in the coming years. After reading the book, you will be confident that you can take on what is in store for testers in the coming years. You will also be positioned to help the industry move to the next level, and influence change not just amongst testers but also in the product engineering industry level as a whole.
Software Testing Automation: Testability Evaluation, Refactoring, Test Data Generation and Fault Localization
by Saeed ParsaThis book is about the design and development of tools for software testing. It intends to get the reader involved in software testing rather than simply memorizing the concepts. The source codes are downloadable from the book website. The book has three parts: software testability, fault localization, and test data generation. Part I describes unit and acceptance tests and proposes a new method called testability-driven development (TsDD) in support of TDD and BDD. TsDD uses a machine learning model to measure testability before and after refactoring. The reader will learn how to develop the testability prediction model and write software tools for automatic refactoring. Part II focuses on developing tools for automatic fault localization. This part shows the reader how to use a compiler generator to instrument source code, create control flow graphs, identify prime paths, and slice the source code. On top of these tools, a software tool, Diagnoser, is offered to facilitate experimenting with and developing new fault localization algorithms. Diagnoser takes a source code and its test suite as input and reports the coverage provided by the test cases and the suspiciousness score for each statement. Part III proposes using software testing as a prominent part of the cyber-physical system software to uncover and model unknown physical behaviors and the underlying physical rules. The reader will get insights into developing software tools to generate white box test data.
Software Testing Bibliography
by Safari Content TeamSoftware testing is for some developers an annoyance, for others the only way to work. Testing has a number of different roles in any development project. Ensuring that the software is working properly is the most obvious, but testing can also be used to check performance, search specifically for memory leaks and other bugs, handle environment testing, and to ensure that your software works within the operating system and with any other tools that your software uses or relies upon. If your software has a user interface element, then it also needs to be tested, and your entire stack needs to be confirmed and tested across all of the different environments and systems you expect to deploy them on. Ultimately, with any type of software testing, the aim is to make your software better and ensure that your software not only does what you designed it to, but also doesn't do anything you didn't expect. To that end, in this Safari Books Online bibliography, we have selected a range of different books that cover a wide range of testing techniques. We've included titles on fine-grained basic unit-based testing such as JUnit, language-specific testing for JavaScript, PHP, Perl, Scala, ASP and others. You will also find titles covering security and penetration testing, UI testing, including automation frameworks such as Selenium, and testing within specific environments, like Visual Studio.
Software Testing Foundations
by Andreas Spillner Tilo Linz Hans SchaeferThe ISTQB Certified Tester exam was developed toward an international standard which includes 47 international testing boards. Today more than 130,000 people have taken the International Software Testing Qualifications Board (ISTQB) Foundations Level exam. So, where can all these people go to learn what they need to know in order to pass the exam? Now they can go to Software Testing Foundations, 3rd Edition, from Rocky Nook's Computing division. Professional testing of software has become an increasingly important task that requires a profound knowledge of testing techniques. The ISTQB has developed a universally accepted, international qualification scheme aimed at software and system testing professionals, and has created the syllabi and the tests for the "Certified Tester." With authors who are among the founders of the Certified Tester Syllabus, this thoroughly revised and updated 3rd Edition covers the "Foundations Level" (i.e., entry level) and teaches the most important methods of software testing. It is designed for self-study and provides the knowledge necessary to pass the Certified Tester: Foundations Level exam as defined by the ISTQB. Additionally, in this new edition, technical terms have been stated more precisely according to the revised and uptated ISTQB glossary.
Software Testing Foundations: A Study Guide for the Certified Tester Exam (2nd edition)
by Andreas Spillner Tilo Linz Hans SchaeferFoundation level, ISTQB compliant. Topics covered include: fundamentals of testing, testing and the software lifecycle, static and dynamic testing techniques, test management, test tools.
Software Testing Practice: Test Management
by Andreas Spillner Tilo Linz Thomas Rossner Mario WinterAimed at experts who are dedicated to software testing, The Software Testing Process: Test Management addresses the major issues related to advanced, state-of-the-art test management. This book covers the syllabus required to pass the Certified Tester Examination - Advanced Level as defined by the International Software Testing Qualifications Board (ISTQB). Software developers, project managers, quality managers, and team leaders will benefit from the comprehensive coverage of risk oriented management and the way testing is shown to be an integral, though independent part of software development. Included are best practices in the field of testing, as well as detailed descriptions of involved tasks, roles, and responsibilities. Well suited for self-study, the reader is "taken by the hand" and guided through the key concepts and terminology of software testing in a variety of scenarios and case studies (as featured in the first book in this series, Software Testing Foundations). Not only will testers and test managers find this a must-read, but anyone requiring advanced professional knowledge and skills in this field, anyone wanting to become a true testing professional, will find this book a must for a successful, well-founded education in advanced test management. Topics include: Test process and test tools Testing in the software life cycle Test policy and test manual Test plan and test planning Test control Incident management Risk management/risk-based testing Staff qualifications Test metrics
Software Testing and Continuous Quality Improvement
by William E. LewisIt is often assumed that software testing is based on clearly defined requirements and software development standards. However, testing is typically performed against changing, and sometimes inaccurate, requirements. The third edition of a bestseller, Software Testing and Continuous Quality Improvement, Third Edition provides a continuous quality framework for the software testing process within traditionally structured and unstructured environments. This framework aids in creating meaningful test cases for systems with evolving requirements. This completely revised reference provides a comprehensive look at software testing as part of the project management process, emphasizing testing and quality goals early on in development. Building on the success of previous editions, the text explains testing in a Service Orientated Architecture (SOA) environment, the building blocks of a Testing Center of Excellence (COE), and how to test in an agile development. Fully updated, the sections on test effort estimation provide greater emphasis on testing metrics. The book also examines all aspects of functional testing and looks at the relation between changing business strategies and changes to applications in development. Includes New Chapters on Process, Application, and Organizational Metrics All IT organizations face software testing issues, but most are unprepared to manage them. Software Testing and Continuous Quality Improvement, Third Edition is enhanced with an up-to-date listing of free software tools and a question-and-answer checklist for choosing the best tools for your organization. It equips you with everything you need to effectively address testing issues in the most beneficial way for your business.
Software Testing and Quality Assurance
by Kshirasagar Naik Priyadarshi TripathyA superior primer on software testing and quality assurance, from integration to execution and automation This important new work fills the pressing need for a user-friendly text that aims to provide software engineers, software quality professionals, software developers, and students with the fundamental developments in testing theory and common testing practices. Software Testing and Quality Assurance: Theory and Practice equips readers with a solid understanding of: Practices that support the production of quality software Software testing techniques Life-cycle models for requirements, defects, test cases, and test results Process models for units, integration, system, and acceptance testing How to build test teams, including recruiting and retaining test engineers Quality Models, Capability Maturity Model, Testing Maturity Model, and Test Process Improvement Model Expertly balancing theory with practice, and complemented with an abundance of pedagogical tools, including test questions, examples, teaching suggestions, and chapter summaries, this book is a valuable, self-contained tool for professionals and an ideal introductory text for courses in software testing, quality assurance, and software engineering.
Software Testing as a Service
by Ashfaque AhmedIn today's unforgiving business environment where customers demand zero defect software at lower costs-it is testing that provides the opportunity for software companies to separate themselves from the competition. Software Testing as a Service explains, in simple language, how to use software testing to improve productivity, reduce time to market, and reduce costly errors. It explains how the normal functions of manufacturing can be applied to commoditize the software testing service to achieve consistent quality across all software projects. This up-to-date reference reviews different software testing tools, techniques, and practices and provides succinct guidance on how to estimate costs, allocate resources, and make competitive bids. Replete with examples and case histories, this resource illustrates how proper planning can lead to the creation of software that's head and shoulders above the competition.
Software Testing for Managers: An Introduction to Strategies, Technologies, and Best Practices
by Ross RadfordSoftware leaders, directors, and managers of all types need to know about software testing. It can be a tough climb up the mountain of technical jargon. Engineers seem to be speaking a language all their own sometimes. Most books on testing are deep in the weeds with technical terms and techniques that simply aren’t applicable even to technical managers. This book provides a high-level perspective on broad topics in a friendly, easy-to-absorb style. Get started and up to speed quickly with immediately useful, actionable guidance. Guidance on team structure, best practices and even common pitfalls will save you time and money, while automation and code reuse will provide exponential value.There’s a gap of knowledge between engineers and their managers; they are almost speaking different languages and the jargon can be confusing. There’s a lot to know about the world of testing. Test from the Top delivers quick, concise guidance to bridge the gap! It offers clear, actionable steps and is a must have for busy leaders who need quick answers.What You Will Learn:How and where to integrate testing in the software development lifecycleTesting terminology and concepts from a management perspectiveCommon pitfalls of testing, how to avoid wasted timeHow to hire test-aware teamsThe value in reusing test code for more generalized automationWho This Book is for:Software managers, Lead Software Engineers, Tech Directors, CTOs, Project Managers, software leaders of all kinds. These leaders understand the value of testing, but have not yet built out extensive automation or team structure. Either new to testing concepts or modernizing systems or looking to improve software quality. Assumed to have a working knowledge of the Software Development Lifecycle and basic project management (no specific methodology required).
Software Testing in the Cloud: Migration and Execution
by Tauhida Parveen Scott TilleyFor a large, complex system, the amount of test cases in a regression test suite can range from a few hundred to several thousands, which can take hours or even days to execute. Regression testing also requires considerable resources that are often not readily available. This precludes their use in an interactive setting, further contributing to an inefficient testing process. Cloud computing offers the use of virtualized hardware, effectively unlimited storage, and software services that can help reduce the execution time of large test suites in a cost-effective manner. The research presented by Tilley and Parveen leverages the resources provided by cloud computing infrastructure to facilitate the concurrent execution of test cases. They introduce a decision framework called SMART-T to support migration of software testing to the cloud, a distributed environment called HadoopUnit for the concurrent execution of test cases in the cloud, and a series of case studies illustrating the use of the framework and the environment. Experimental results indicate a significant reduction in test execution time is possible when compared with a typical sequential environment. Software testing in the cloud is a subject of high interest for advanced practitioners and academic researchers alike. For advanced practitioners, the issue of cloud computing and its impact on the field of software testing is becoming increasingly relevant. For academic researchers, this is a subject that is replete with interesting challenges; there are so many open problems that graduate students will be busy for years to come. To further disseminate results in this field, the authors created a community of interest called "Software Testing in the Cloud" (www.STITC.org), and they encourage all readers to get involved in this exciting new area.
Software Testing using Visual Studio 2010
by N. Satheesh Kumar S. SubashniThis book starts with basic understanding of different types of tests. It then goes about explaining several examples with a step-by-step approach to master concepts and the features needed to help the reader understand testing clearly.If you are a developer, a software tester, or an architect who wishes to master the amazing range of features offered by the Visual Studio 2010 for testing your software applications before going live - then this book is for you. This book assumes that you have a basic knowledge of testing software applications and have good work experience of using Visual Studio IDE.
Software Testing using Visual Studio 2012
by Subashni S Satheesh Kumar NWe will be setting up a sample test scenario, then we'll walk through the features available to deploy tests.This book is for developers and testers who want to get to grips with Visual Studio 2012 and Test Manager for all testing activities and managing tests and results in Team Foundation Server. It requires a minimal understanding of testing practices and the software development life cycle; also, some coding skills would help in customizing and updating the code generated from the web UI testing.
Software Testing with Generative AI
by Mark WinteringhamSpeed up your testing and deliver exceptional product quality with the power of AI tools.The more you test, the more you learn about your software. Software Testing with Generative AI shows you how you can expand, automate, and enhance your testing with Large Language Model (LLM)-based AI. Your team will soon be delivering higher quality tests, all in less time. In Software Testing with Generative AI you&’ll learn how to: • Spot opportunities to improve test quality with AI • Construct test automation with the support of AI tools • Formulate new ideas during exploratory testing using AI tools • Use AI tools to aid the design process of new features • Improve the testability of a context with the help of AI tools • Maximize your output with prompt engineering • Create custom LLMs for your business&’s specific needs Software Testing with Generative AI is full of hype-free advice for supporting your software testing with AI. In it, you&’ll find strategies from bestselling author Mark Winteringham to generate synthetic testing data, implement automation, and even augment and improve your test design with AI. Foreword by Nicola Martin. About the technology There&’s a simple rule in software testing: the more you test, the more you learn. And as any testing pro will tell you, good testing takes time. By integrating large language models (LLMs) and generative AI into your process, you can dramatically automate and enhance testing, improve quality and coverage, and deliver more meaningful results. About the book Software Testing with Generative AI shows you how AI can elevate every aspect of testing—automation, test data management, test scripting, exploratory testing, and more! Learn how to use AI coding tools like Copilot to guide test-driven development, get relevant feedback about your applications from ChatGPT, and use the OpenAI API to integrate AI into your data generation. You&’ll soon have higher-quality testing that takes up less of your time. What's inside • Improve test quality and coverage • AI-powered test automation • Build agents that act as testing assistants About the reader For developers, testers, and quality engineers. About the author Mark Winteringham is an experienced software tester who teaches many aspects of software testing. He is the author of Testing Web APIs. The technical editor on this book was Robert Walsh. Table of Contents Part 1 1 Enhancing testing with large language models 2 Large language models and prompt engineering 3 Artificial intelligence, automation, and testing Part 2 4 AI-assisted testing for developers 5 Test planning with AI support 6 Rapid data creation using AI 7 Accelerating and improving UI automation using AI 8 Assisting exploratory testing with artificial intelligence 9 AI agents as testing assistants Part 3 10 Introducing customized LLMs 11 Contextualizing prompts with retrieval-augmented generation 12 Fine-tuning LLMs with business domain knowledge Appendix A Setting up and using ChatGPT Appendix B Setting up and using GitHub Copilot Appendix C Exploratory testing notes
Software Testing with Visual Studio Team System 2008
by Satheesh N. Kumar Subashni SAn example testing scenario is set up, and used as reference for exploring the testing features available in Visual Studio Team System 2008. This is a concise practical guide that will help you learn testing your software applications using Visual Studio Team System 2008 quickly, with lot of examples and clear explanations. It is packed with screenshots to aid your understanding of the process. This book is for Microsoft developers working with Visual Studio 2008 who need to create a structured testing environment for their applications. No prior knowledge of testing is expected. The reader will need to be familiar with the standard Visual Studio 2008 environment, but anyone who has entered and compiled code in this environment before will easily follow what goes on.
Software Testing: A Craftsman’s Approach, Fifth Edition
by Paul C. Jorgensen Byron DeVriesThis updated and reorganized Fifth edition of Software Testing: A Craftsman's Approach applies the strong mathematics content of previous editions to a coherent treatment of software testing. Responding to instructor and student survey input of previous editions, the authors have streamlined chapters and examples. The Fifth Edition: Has a new chapter on feature interaction testing that explores the feature interaction problem and explains how to reduce tests Uses Java instead of pseudo-code for all examples including structured and object-oriented ones Presents model-based development and provides an explanation of how to conduct testing within model-based development environments Explains testing in waterfall, iterative, and agile software development projects Explores test-driven development, reexamines all-pairs testing, and explains the four contexts of software testing Thoroughly revised and updated, Software Testing: A Craftsman’s Approach, Fifth Edition is sure to become a standard reference for those who need to stay up to date with evolving technologies in software testing. Carrying on the tradition of previous editions, it is a valuable reference for software testers, developers, and engineers.
Software Testing: A Craftsman’s Approach, Fourth Edition
by Paul C. JorgensenThis updated and reorganized fourth edition of Software Testing: A Craftsman's Approach applies the strong mathematics content of previous editions to a coherent treatment of Model-Based Testing for both code-based (structural) and specification-based (functional) testing. These techniques are extended from the usual unit testing discussions to full coverage of less understood levels integration and system testing. The Fourth Edition: Emphasizes technical inspections and is supplemented by an appendix with a full package of documents required for a sample Use Case technical inspection Introduces an innovative approach that merges the Event-Driven Petri Nets from the earlier editions with the "Swim Lane" concept from the Unified Modeling Language (UML) that permits model-based testing for four levels of interaction among constituents in a System of Systems Introduces model-based development and provides an explanation of how to conduct testing within model-based development environments Presents a new section on methods for testing software in an Agile programming environment Explores test-driven development, reexamines all-pairs testing, and explains the four contexts of software testing Thoroughly revised and updated, Software Testing: A Craftsman’s Approach, Fourth Edition is sure to become a standard reference for those who need to stay up to date with evolving technologies in software testing. Carrying on the tradition of previous editions, it will continue to serve as a valuable reference for software testers, developers, and engineers.
Software Tools and Algorithms for Biological Systems
by Hamid R. Arabnia Quoc-Nam Tran"Software Tools and Algorithms for Biological Systems" is composed of a collection of papers received in response to an announcement that was widely distributed to academicians and practitioners in the broad area of computational biology and software tools. Also, selected authors of accepted papers of BIOCOMP'09 proceedings (International Conference on Bioinformatics and Computational Biology: July 13-16, 2009; Las Vegas, Nevada, USA) were invited to submit the extended versions of their papers for evaluation.
Software Transparency: Supply Chain Security in an Era of a Software-Driven Society
by Chris Hughes Tony TurnerDiscover the new cybersecurity landscape of the interconnected software supply chain In Software Transparency: Supply Chain Security in an Era of a Software-Driven Society, a team of veteran information security professionals delivers an expert treatment of software supply chain security. In the book, you’ll explore real-world examples and guidance on how to defend your own organization against internal and external attacks. It includes coverage of topics including the history of the software transparency movement, software bills of materials, and high assurance attestations. The authors examine the background of attack vectors that are becoming increasingly vulnerable, like mobile and social networks, retail and banking systems, and infrastructure and defense systems. You’ll also discover: Use cases and practical guidance for both software consumers and suppliers Discussions of firmware and embedded software, as well as cloud and connected APIs Strategies for understanding federal and defense software supply chain initiatives related to securityAn essential resource for cybersecurity and application security professionals, Software Transparency will also be of extraordinary benefit to industrial control system, cloud, and mobile security professionals.
Software Verification and Analysis
by William Stanley Janusz LaskiThis book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging). Three major software verification techniques are discussed: Semantic program synthesis and analysis, static program analysis and dynamic program analysis. The correctness by construction paradigm is illustrated using the VDM-SL and the corresponding CSK Toolbox. The discussion involves the synthesis of direct and/or indirect specification, interpreting the latter and carrying out high-level testing of the specification. Problems are included in the text and one or more difficult exercises appear at the end of each chapter. Also, where appropriate, STAD's handling of the concepts is illustrated. Written for advanced students and professionals wishing to explore more than one technique, this comprehensive text will be invaluable with its unique integrated approach.
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings (Lecture Notes in Computer Science #13466)
by Omri Isac Radoslav Ivanov Guy Katz Nina Narodytska Laura NenziThis book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022. The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methods techniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabled autonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components.
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers (Lecture Notes in Computer Science #12549)
by Nadia Polikarpova Maria Christakis Parasara Sridhar Duggirala Peter SchrammelThis 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).
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers (Lecture Notes in Computer Science #13124)
by Natasha Sharygina Roderick Bloem Rayna Dimitrova Chuchu FanThis book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more.