Advances in Computers

Table of contents

1. Cover image
2. Title page
3. Table of Contents
4. Copyright
5. Preface
6. Chapter One: Mobile Application Quality Assurance
   1. Abstract
   2. 1 Introduction
   3. 2 Methodology for Retrieving the State of the Art
   4. 3 Results of Selection
   5. 4 Discussion and Implications
   6. 5 Conclusion and Future Work
   7. Acknowledgments
   8. Appendix: Selected Articles
7. Chapter Two: Advances in Combinatorial Testing
   1. Abstract
   2. 1 Introduction
   3. 2 Trends in Research Topics
   4. 3 Algorithms and Tools for CT
   5. 4 Modeling the CT Test Space
   6. 5 Case Studies
   7. 6 Metrics for CT
   8. 7 Advanced Topics in CT
   9. 8 Future Directions
   10. 9 Conclusions
8. Chapter Three: Advances in Applications of Object Constraint Language for Software Engineering
   1. Abstract
   2. 1 Introduction
   3. 2 Background
   4. 3 Survey on Advances in OCL
   5. 4 Insights on Advances in OCL
   6. 5 Conclusion and Future Directions
9. Chapter Four: Advances in Techniques for Test Prioritization
   1. Abstract
   2. 1 Introduction
   3. 2 Test Case Prioritization Problem
   4. 3 Categorizing TCP Techniques
   5. 4 Test Prioritization Evaluation
   6. 5 Trends and Future Directions in TCP Techniques
   7. 6 Summary
10. Chapter Five: Data Warehouse Testing
    1. Abstract
    2. 1 Introduction
    3. 2 Data Warehouse Components
    4. 3 Testing Data Warehouse Components
    5. 4 Testing Source Area and Target Data Warehouse
    6. 5 Testing ETL Process
    7. 6 Testing Front-End Applications
    8. 7 Conclusion
11. Chapter Six: Mutation Testing Advances: An Analysis and Survey
    1. Abstract
    2. 1 Introduction
    3. 2 Background
    4. 3 What Is Special About Mutation Testing
    5. 4 The Relations Between Mutants and Fault Revelation
    6. 5 The Regular Code-Based Mutation Testing Process
    7. 6 Alternative Code-Based Mutation Testing Advances
    8. 7 Advances Beyond Code-Based Mutation Testing
    9. 8 Tools for Mutation Testing
    10. 9 Mutation-Based Test Assessment: Use and Threats to Validity
    11. 10 A Seven-Point Check List of Best Practices on Using Mutation Testing in Controlled Experiments
    12. 11 Conclusion and Future Directions
12. Chapter Seven: Event-Based Concurrency: Applications, Abstractions, and Analyses
    1. Abstract
    2. 1 Introduction
    3. 2 Programming Abstractions
    4. 3 Concurrency Semantics
    5. 4 Happens-Before Analysis and Race Detection
    6. 5 Model Checking
    7. 6 Related and Future Directions
    8. 7 Summary
    9. Acknowledgments
13. Chapter Eight: A Taxonomy of Software Integrity Protection Techniques
    1. Abstract
    2. 1 Introduction
    3. 2 Motivating Example
    4. 3 Proposed Taxonomy
    5. 4 Applying the Proposed Taxonomy
    6. 5 Observation and Analysis
    7. 6 Related Work
    8. 7 Future of Integrity Protection
    9. 8 Conclusions