Open AccessBook
Software Testing Techniques
Reads0
Chats0
About:
The article was published on 1983-01-01 and is currently open access. It has received 2139 citations till now. The article focuses on the topics: Non-regression testing & Software reliability testing.read more
Citations
More filters
Book
Principles of Model Checking
TL;DR: Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.
Journal ArticleDOI
Software unit test coverage and adequacy
TL;DR: The notion of adequacy criteria is examined together with its role in software dynamic testing and the methods for comparison and assessment of criteria are reviewed.
Journal ArticleDOI
Prioritizing test cases for regression testing
TL;DR: Test case prioritization techniques schedule test cases for execution in an order that attempts to increase their effectiveness at meeting some performance goal as discussed by the authors, such as rate of fault detection, a measure of how quickly faults are detected within the testing process.
Refactoring object-oriented frameworks
TL;DR: This thesis gives some conservative algorithms for determining whether a program satisfies constraints, and describes how to use this design information to refactor a program.
Book
Introduction to Software Testing
Paul Ammann,Jeff Offutt +1 more
TL;DR: In this paper, the authors define testing as the process of applying a few well-defined, general-purpose test criteria to a structure or model of the software, and present an innovative approach to explaining the process.