Advances in Computers

Table of contents

1. Cover image
2. Title page
3. Table of Contents
4. Copyright
5. Preface
6. Chapter One: Combinatorial Testing: Theory and Practice
   1. Abstract
   2. 1 Introduction
   3. 2 Covering Arrays
   4. 3 Algorithms for CT
   5. 4 Input Partitioning and Representation
   6. 5 Constraints Handling in CA Algorithms
   7. 6 Case Studies
   8. 7 Advanced Topics in CT
   9. 8 Future Directions
   10. Conclusions
7. Chapter Two: Constraint-Based Testing: An Emerging Trend in Software Testing
   1. Abstract
   2. 1 Introduction
   3. 2 A Motivating Example
   4. 3 Bibliographic Notes
   5. 4 Foundations
   6. 5 Extensions
   7. 6 Perspectives
8. Chapter Three: Automated Fault Localization: Advances and Challenges
   1. Abstract
   2. 1 Introduction
   3. 2 Background
   4. 3 Spectrum-Based Techniques: Early Work and Shortcomings
   5. 4 Advances in Spectrum-Based Fault Localization
   6. 5 Program Slicing
   7. 6 Delta Debugging: An Experimentation-Based Approach
   8. 7 Fault Localization Based on Formal Methods
   9. 8 Conclusion
9. Chapter Four: Recent Advances in Automatic Black-Box Testing
   1. Abstract
   2. 1 Introduction
   3. 2 Overview
   4. 3 Random Testing
   5. 4 Model-Based Testing
   6. 5 Testing with Complex Inputs
   7. 6 Combinatorial Interaction Testing
   8. 7 Conclusions
10. Chapter Five: Inroads in Testing Access Control
    1. Abstract
    2. 1 Introduction
    3. 2 Access Control
    4. 3 Test Targets When Testing Access Control
    5. 4 Access Control Testing
    6. 5 Usage Control Testing
    7. 6 Discussion
    8. 7 Conclusion
    9. Acknowledgments
11. Author Index
12. Subject Index
13. Contents of Volumes in This Series