Advances in Computers

Advances in Computers

1st Edition - August 23, 2017
There is a Newer Edition Available
  • Editor: Atif Memon
  • eBook ISBN: 9780128122297
  • Hardcover ISBN: 9780128122280

Purchase options

Purchase options
DRM-free (Mobi, PDF, EPub)
Available
Sales tax will be calculated at check-out

Institutional Subscription

Free Global Shipping
No minimum order

Description

Advances in Computers, Volume 107, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Advances in Model-based Analysis and Testing, Advances in Software Quality Assurance, Advances in Handling Uncertainty in Testing, Advances in Testing of Communicating Systems, and Advances in Formal Verification and Cyber-physical Systems. This book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow.

Key Features

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

Readership

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

Table of Contents

  • 1. Pitfalls and Countermeasures in Software Quality Measurements and Evaluations

    Hironori Washizaki

    2. Uncertainty-Wise Testing of Cyber-Physical Systems

    Shaukat Ali, Hong Lu, Shuai Wang, Tao Yue and Man Zhang

    3. Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey

    Rachida Dssouli, Ahmed Khoumsi, Mounia Elqortobi and Jamal Bentahar

    4. Advances in Testing Software Product Lines

    Hartmut Lackner and Bernd-Holger Schlingloff

    5. Advances in Model-Based Testing of Graphical User Interfaces

    Fevzi Belli, Mutlu Beyazit, Christof J. Budnik and Tugkan Tuglular

Product details

  • No. of pages: 286
  • Language: English
  • Copyright: © Academic Press 2017
  • Published: August 23, 2017
  • Imprint: Academic Press
  • eBook ISBN: 9780128122297
  • Hardcover ISBN: 9780128122280

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