MonographDOI
Introduction to Software Testing: List of Figures
Paul Ammann,Jeff Offutt +1 more
TLDR
The structure of the text directly reflects the pedagogical approach and incorporates the latest innovations in testing, including techniques to test modern types of software such as OO, web applications and embedded software.Abstract:
Extensively class tested, this text takes an innovative approach to explaining the process of software testing: it defines testing as the process of applying a few well-defined, general-purpose test criteria to a structure or model of the software. The structure of the text directly reflects the pedagogical approach and incorporates the latest innovations in testing, including techniques to test modern types of software such as OO, web applications, and embedded software.read more
Citations
More filters
Journal ArticleDOI
An Analysis and Survey of the Development of Mutation Testing
Yue Jia,Mark Harman +1 more
TL;DR: These analyses provide evidence that Mutation Testing techniques and tools are reaching a state of maturity and applicability, while the topic of Mutation testing itself is the subject of increasing interest.
Proceedings ArticleDOI
DeepGauge: multi-granularity testing criteria for deep learning systems
Lei Ma,Felix Juefei-Xu,Fuyuan Zhang,Jiyuan Sun,Minhui Xue,Bo Li,Chunyang Chen,Ting Su,Li Li,Yang Liu,Jianjun Zhao,Yadong Wang +11 more
TL;DR: DeepGauge is proposed, a set of multi-granularity testing criteria for DL systems, which aims at rendering a multi-faceted portrayal of the testbed and sheds light on the construction of more generic and robust DL systems.
Using Model Checking to Generate Tests from Specifications | NIST
TL;DR: In this paper, a model checker is applied to the problem of test generation using a new application of mutation analysis, and two classes of operators are defined: those that generate test cases from which a correct implementation must differ, and those that produce test cases with which it must agree.
Proceedings ArticleDOI
DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems
Lei Ma,Felix Juefei-Xu,Fuyuan Zhang,Jiyuan Sun,Minhui Xue,Bo Li,Chunyang Chen,Ting Su,Li Li,Yang Liu,Jianjun Zhao,Yadong Wang +11 more
TL;DR: DeepGauge as discussed by the authors proposes a set of multi-granularity testing criteria for DL systems, which aims at rendering a multi-faceted portrayal of the testbed.
References
More filters
Book
Refactoring: Improving the Design of Existing Code
TL;DR: Almost every expert in Object-Oriented Development stresses the importance of iterative development, but how do you add function to the existing code base while still preserving its design integrity?
Book
A complexity measure
TL;DR: In this paper, a graph-theoretic complexity measure for managing and controlling program complexity is presented. But the complexity is independent of physical size, and complexity depends only on the decision structure of a program.
Book
Art of Software Testing
TL;DR: Comprehensively covers psychological and economic principles, managerial aspects of testing, test tools, high-order testing, code inspections, and debugging, and programming students will find this reference work indispensible.
Journal ArticleDOI
Program Slicing
TL;DR: Program slicing as mentioned in this paper is a method for automatically decomposing programs by analyzing their data flow and control flow. But it is not a technique for finding statement-minimal slices, as it is in general unsolvable, but using data flow analysis is sufficient to find approximate slices.