Advances in Computers

Table of contents

1. Cover image
2. Title page
3. Table of Contents
4. Copyright
5. Preface
6. Chapter One: A Survey on Regression Test-Case Prioritization
   1. Abstract
   2. 1 Introduction
   3. 2 Framework
   4. 3 Criterion
   5. 4 Prioritization Algorithm
   6. 5 Measurement
   7. 6 Constraint
   8. 7 Application Scenario
   9. 8 Empirical Study
   10. 9 Some Discussions
   11. 10 Conclusion
   12. Acknowledgments
7. Chapter Two: Model-Based Test Cases Reuse and Optimization
   1. Abstract
   2. 1 Introduction
   3. 2 Overall MBT Framework
   4. 3 Integration Test Generation
   5. 4 Acceptance Test Optimization
   6. 5 A Case Study: A Library Management System
   7. 6 Related Work
   8. 7 Conclusion
   9. Acknowledgments
   10. Appendix A: Properties of the Integration Test Generation Approach
8. Chapter Three: Three Open Problems in the Context of E2E Web Testing and a Vision: NEONATE
   1. Abstract
   2. 1 Introduction
   3. 2 The Three Open Problems in the Context of E2E Web Testing
   4. 3 State of the Art on the Three Open Problems
   5. 4 Overcoming the Three Open Problems: The NEONATE Vision
   6. 5 Architecture of the NEONATE Integrated Testing Environment
   7. 6 NEONATE's Examples of Use
   8. 7 NEONATE's Long-Term Impact
   9. 8 Conclusions
9. Chapter Four: Advances in Using Agile and Lean Processes for Software Development
   1. Abstract
   2. 1 Introduction
   3. 2 Trends on Agile, Lean, and Rapid Software Development
   4. 3 A Walk Through the Roots of Agile and Lean Thinking
   5. 4 Agile and Lean in Software Development
   6. 5 Beyond Agile and Lean: Toward Rapid Software Development, Continuous Delivery, and CD
   7. 6 DevOps
   8. 7 The Lean Startup Movement
   9. 8 Miscellany
   10. 9 Conclusions and Future Directions
10. Chapter Five: Advances in Symbolic Execution
    1. Abstract
    2. 1 Introduction
    3. 2 Background
    4. 3 Constraint Solving
    5. 4 Path Explosion
    6. 5 Compositional Analysis
    7. 6 Memory Modeling
    8. 7 Concurrency
    9. 8 Test Generation
    10. 9 Security
    11. 10 Probabilistic Symbolic Execution
    12. 11 Tools Support
    13. 12 Conclusion
11. Chapter Six: Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis
    1. Abstract
    2. 1 Introduction
    3. 2 Symbolic Execution
    4. 3 Tools and Scalability Challenges
    5. 4 Applications
    6. 5 Conclusion
12. Chapter Seven: Experiences With Replicable Experiments and Replication Kits for Software Engineering Research
    1. Abstract
    2. 1 Introduction
    3. 2 What Is Replication
    4. 3 Replication Kits
    5. 4 Experience Reports
    6. 5 Discussion
    7. 6 Conclusion