book

Advances in Computers

by Atif Memon

January 2019

Intermediate to advanced

498 pages

15h 45m

English

Academic Press

Read now

Unlock full access

Abstract1 Introduction2 Methodology for Retrieving the State of the Art3 Results of Selection4 Discussion and Implications5 Conclusion and Future WorkAcknowledgmentsAppendix: Selected Articles
Abstract1 Introduction2 Trends in Research Topics3 Algorithms and Tools for CT4 Modeling the CT Test Space5 Case Studies6 Metrics for CT7 Advanced Topics in CT8 Future Directions9 Conclusions
Abstract1 Introduction2 Background3 Survey on Advances in OCL4 Insights on Advances in OCL5 Conclusion and Future Directions
Abstract1 Introduction2 Test Case Prioritization Problem3 Categorizing TCP Techniques4 Test Prioritization Evaluation5 Trends and Future Directions in TCP Techniques6 Summary
Abstract1 Introduction2 Data Warehouse Components3 Testing Data Warehouse Components4 Testing Source Area and Target Data Warehouse5 Testing ETL Process6 Testing Front-End Applications7 Conclusion

Abstract1 Introduction2 Background3 What Is Special About Mutation Testing4 The Relations Between Mutants and Fault Revelation5 The Regular Code-Based Mutation Testing Process6 Alternative Code-Based Mutation Testing Advances7 Advances Beyond Code-Based Mutation Testing8 Tools for Mutation Testing9 Mutation-Based Test Assessment: Use and Threats to Validity10 A Seven-Point Check List of Best Practices on Using Mutation Testing in Controlled Experiments11 Conclusion and Future Directions
Abstract1 Introduction2 Programming Abstractions3 Concurrency Semantics4 Happens-Before Analysis and Race Detection5 Model Checking6 Related and Future Directions7 SummaryAcknowledgments
Abstract1 Introduction2 Motivating Example3 Proposed Taxonomy4 Applying the Proposed Taxonomy5 Observation and Analysis6 Related Work7 Future of Integrity Protection8 Conclusions

Overview

Advances in Computers, Volume 112, 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 Mobile Application Quality Assurance, Advances in Combinatorial Testing, Advances in Applications of Object Constraint Language for Software Engineering, Advances in Techniques for Test Prioritization, Data Warehouse Testing, Mutation Testing Advances: An Analysis and Survey, Event-Based Concurrency: Applications, Abstractions, and Analyses, and A Taxonomy of Software Integrity Protection Techniques.

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