Advances in Computers

Table of contents

1. Cover image
2. Title page
3. Table of Contents
4. Copyright
5. Preface
6. Chapter One: Model-Based Testing for Internet of Things Systems
   1. Abstract
   2. 1 Introduction
   3. 2 Challenges of Testing IoT Systems
   4. 3 State of the Art
   5. 4 MBT for IoT Conformance Testing
   6. 5 MBT for IoT Security Testing
   7. 6 Online MBT for IoT Robustness Testing
   8. 7 Model-Based Testing as a Service
   9. 8 Lessons Learnt and Discussion
   10. 9 Conclusion
   11. Acknowledgments
7. Chapter Two: Advances in Software Model Checking
   1. Abstract
   2. 1 Introduction
   3. 2 Explicit-State Bounded Model Checking
   4. 3 Symbolic Execution
   5. 4 Abstraction-Based Model Checking
   6. 5 Conclusions
8. Chapter Three: Emerging Software Testing Technologies
   1. Abstract
   2. 1 Introduction
   3. 2 Basic Concepts of Testing
   4. 3 Test Cases Generation
   5. 4 Test Challenges
   6. 5 Testing Process
   7. 6 Domain-Specific Testing
   8. 7 Discussion and Conclusions
9. Chapter Four: Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts
   1. Abstract
   2. 1 Introduction
   3. 2 Background
   4. 3 Related Work
   5. 4 Standard Symbolic Execution of Rhapsody Statecharts
   6. 5 Optimizing Symbolic Execution of Evolving Rhapsody Statecharts
   7. 6 Implementation
   8. 7 Evaluation
   9. 8 Conclusion: Summary, Future Work, and Perspective
   10. Appendix
10. Chapter Five: A Tutorial on Software Obfuscation
    1. Abstract
    2. 1 Introduction
    3. 2 Classification of Code Obfuscation Transformations
    4. 3 Classification of MATE Attacks
    5. 4 Survey of Obfuscation Transformations
    6. 5 Discussion
    7. 6 Related Work
    8. 7 Conclusion