Advances in Computers
- 1st Edition, Volume 95 - August 22, 2014
- Imprint: Academic Press
- Editor: Atif Memon
- Language: English
- Hardback ISBN:9 7 8 - 0 - 1 2 - 8 0 0 1 6 0 - 8
- eBook ISBN:9 7 8 - 0 - 1 2 - 8 0 0 3 2 4 - 4
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has al… Read more
Purchase options
Institutional subscription on ScienceDirect
Request a sales quoteSince its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of significant, lasting value in this rapidly expanding field.
- In-depth surveys and tutorials on new computer technology
- Well-known authors and researchers in the field
- Extensive bibliographies with most chapters
- Many of the volumes are devoted to single themes or subfields of computer science
Researchers in high performance computer areas, hardware manufacturers, experts in physics and scientific computation, and computer science educational programs
- Preface
- Chapter One: Automated Test Oracles: A Survey
- Abstract
- 1 Introduction
- 2 Test Oracles
- 3 Scope of the Survey and Review Protocol
- 4 The Test Oracle Process
- 5 Information Sources and Translations of Test Oracles
- 6 Checkable Forms of Test Oracles
- 7 Summary and Future Directions
- Chapter Two: Automated Extraction of GUI Models for Testing
- Abstract
- 1 Introduction
- 2 Background
- 3 Automated GUI Testing
- 4 Reverse Engineering and Specification Mining
- 5 Using Extracted Models to Automate GUI Testing
- 6 Conclusion and Discussion
- Chapter Three: Automated Test Oracles: State of the Art, Taxonomies, and Trends
- Abstract
- 1 Introduction
- 2 Background
- 3 Oracles Taxonomies
- 4 A Quantitative Analysis and a Mapping of Studies
- 5 Discussions
- 6 Final and Concluding Remarks
- Acknowledgments
- Chapter Four: Anti-Pattern Detection: Methods, Challenges, and Open Issues
- Abstract
- 1 Anti-Pattern: Definitions and Motivations
- 2 Methods for the Detection of Anti-Patterns
- 3 A New Frontier of Anti-Patterns: Linguistic Anti-Patterns
- 4 Key Ingredients for Building an Anti-Pattern Detection Tool
- 5 Conclusion and Open Issues
- Chapter Five: Classifying Problems into Complexity Classes
- Abstract
- 1 Introduction
- 2 Time and Space Classes
- 3 Relations Between Classes
- 4 DSPACE(1) = Regular Languages
- 5 L = DSPACE(LOG N)
- 6 NL = NSPACE(LOG n)
- 7 P = DTIME(nO(1))
- 8 Randomized Polynomial Time: R
- 9 NP = NTIME(nO(1))
- 10 PH: The Polynomial Hierarchy
- 11 #P
- 12 PSPACE
- 13 EXPTIME
- 14 EXPSPACE = NEXPSPACE
- 15 DTIME(TOWi(n))
- 16 DSPACE(TOWi(nO(1)))
- 17 Elementary
- 18 Primitive Recursive
- 19 Ackermann's Function
- 20 The Goodstein Function
- 21 Decidable, Undecidable and Beyond
- 22 Summary of Relations Between Classes
- 23 Other Complexity Measures
- 24 Summary
- 25 What is Natural?
- Acknowledgement
- Author Index
- Subject Index
- Contents of Volumes in this Series
- Edition: 1
- Volume: 95
- Published: August 22, 2014
- No. of pages (Hardback): 342
- No. of pages (eBook): 342
- Imprint: Academic Press
- Language: English
- Hardback ISBN: 9780128001608
- eBook ISBN: 9780128003244
AM
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, USARead Advances in Computers on ScienceDirect