Advances in Computers

The latest in a series offering detailed coverage of innovations in computer hardware, software, theory, design and applications

Atif Memon (Series edited by)

9780128151198, Elsevier Science

Hardback, published 16 February 2018

364 pages
22.9 x 15.1 x 2.5 cm, 0.75 kg

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.

1. Model-Based Testing for Internet of Things Systems Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret and Bruno Legeard 2. Advances in Software Model Checking Junaid H. Siddiqui, Affan Rauf and Maryam A. Ghafoor 3. Emerging Software Testing Technologies Francesca Lonetti and Eda Marchetti 4. Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts Amal Khalil and Juergen Dingel 5. A Tutorial on Software Obfuscation Sebastian Banescu and Alexander Pretschner

Subject Areas: Software Engineering [UMZ], Programming & scripting languages: general [UMX], Applied mathematics [PBW]