Advances in Computers

Book description

Advances in Computers, Volume 113, the latest volume in this innovative series published since 1960, presents detailed coverage of new advancements in computer hardware, software, theory, design and applications. Chapters in this updated release include A Survey on Regression Test-case Prioritization, Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing and Security Analysis, Model Based Test Cases Reuse and Optimization, Advances in Using Agile and Lean Processes for Software Development, Three Open Problems in the Context of E2E Web Testing and a Vision: NEONATE, Experiences with replicable experiments and replication kits for software engineering research, and Advances in Symbolic Execution.



  • Provides in-depth surveys and tutorials on new computer technology
  • Covers well-known authors and researchers in the field
  • Presents extensive bibliographies with most chapters
  • Includes volumes that are devoted to single themes or subfields of computer science

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

Product information

  • Title: Advances in Computers
  • Author(s): Atif Memon
  • Release date: January 2019
  • Publisher(s): Academic Press
  • ISBN: 9780128160718