Advances in Computers, Volume 108

Advances in Computers, Volume 108, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. This book provides contributors with a medium in which they can explore subjects in greater depth and breadth than similar topics in journal articles allow.

• 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

Chapter 1 Model-Based Testing for Internet of Things Systems
Chapter 2 Advances in Software Model Checking
Chapter 3 Emerging Software Testing Technologies
Chapter 4 Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts
Chapter 5 A Tutorial on Software Obfuscation