COVID-19 Update: We are currently shipping orders daily. However, due to transit disruptions in some geographies, deliveries may be delayed. To provide all customers with timely access to content, we are offering 50% off Science and Technology Print & eBook bundle options. Terms & conditions.
Advances in Computers - 1st Edition - ISBN: 9780128160701, 9780128160718

Advances in Computers, Volume 113

1st Edition

Serial Editor: Atif Memon
Hardcover ISBN: 9780128160701
eBook ISBN: 9780128160718
Imprint: Academic Press
Published Date: 30th January 2019
Page Count: 356
Sales tax will be calculated at check-out Price includes VAT/GST
Price includes VAT/GST

Institutional Subscription

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Table of Contents

1. A Survey on Regression Test-Case Prioritization
Yiling Lou, Junjie Chen, Lingming Zhang and Dan Hao
2. Model-Based Test Cases Reuse and Optimization
Mohamed Mussa and Ferhat Khendek
3. Three Open Problems in the Context of E2E Web Testing and a Vision: NEONATE
Filippo Ricca, Maurizio Leotta and Andrea Stocco
4. Advances in Using Agile and Lean Processes for Software Development
Pilar Rodríguez, Mika Mäntylä, Markku Oivo, Lucy Ellen Lwakatare, Pertti Seppänen and Pasi Kuvaja
5. Advances in Symbolic Execution
Guowei Yang, Antonio Filieri, Mateus Borges, Donato Clun and Junye Wen
6. Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis
Corina S. Păsăreanu, Rody Kersten, Kasper Luckow and Quoc-Sang Phan
7. Experiences With Replicable Experiments and Replication Kits for Software Engineering Research
Steffen Herbold, Fabian Trautsch, Patrick Harms, Verena Herbold and Jens Grabowski


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.

Key Features

  • 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


Researchers in high performance computer areas, hardware manufacturers, educational programs in physics and scientific computation and in computer science


No. of pages:
© Academic Press 2019
30th January 2019
Academic Press
Hardcover ISBN:
eBook ISBN:

Ratings and Reviews

About the Serial Editor

Atif Memon

Atif Memon

Atif M. Memon is an Associate Professor at the Department of Computer Science, University of Maryland, where he founded and heads the Event Driven Software Lab (EDSL). Researchers at the EDSL study issues of design, development, quality assurance, and maintenance of such software applications. He designed and developed the model-based GUI testing software GUITAR, which operates on Android, iPhone, Java Swing, .NET, Java SWT, UNO, MS Windows, and web systems, and leverages a resource cloud for test automation. He has published over 90 research articles on the topic of event driven systems, software testing, and software engineering. He is the founder of the International Workshop on TESTing Techniques & Experimentation Benchmarks for Event-Driven Software (TESTBEDS). He also helped develop the workshop on Experimental Evaluation of Software and Systems in Computer Science (EVALUATE).

He is the Serial Editor of Advances in Computers, published by Elsevier. This series, since its first volume in 1960 and now the oldest series still being published, covers new developments in computer technology. He is an elected member of the Steering Committee of the International Conference on Software Testing, Verification and Validation ICST, the largest conference on software testing. He serves on various editorial boards, including that of the Journal of Software Testing, Verification, and Reliability. He has served on numerous National Science Foundation panels and program committees, including ICSE, FSE, ICST, WWW, ASE, ICSM, and WCRE. He is currently serving on a National Academy of Sciences panel as an expert in the area of Computer Science and Information Technology, for the Pakistan-U.S. Science and Technology Cooperative Program, sponsored by United States Agency for International Development (USAID).

He has a joint appointment in the University's Institute for Advanced Computer Studies (UMIACS). He received his Ph.D. from the University of Pittsburgh in Computer Science in 2001, and started at the University of Maryland soon thereafter. In 2007 he was a visiting scholar at the Institute of Software at the Chinese Academy of Sciences, and a visiting researcher at Tata Research Development and Design Centre.

Affiliations and Expertise

Univeristy of Maryland, College Park, MD, USA