Advances In Computers, Volume 108

VOLUME ONE HUNDRED AND EIGHT ADVANCES IN COMPUTERS This page intentionally left blank VOLUME ONE HUNDRED AND EIGHT ADVANCES IN COMPUTERS Edited by ATIF M. MEMON College Park, MD, United States Academic Press is an imprint of Elsevier 50 Hampshire Street, 5th Floor, Cambridge, MA 02139, United States 525 B Street, Suite 1800, San Diego, CA 92101-4495, United States The Boulevard, Langford Lane, Kidlington, Oxford OX5 1GB, United Kingdom 125 London Wall, London, EC2Y 5AS, United Kingdom First edition 2018 Copyright © 2018 Elsevier Inc. All rights reserved. No part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopying, recording, or any information storage and retrieval system, without permission in writing from the publisher. Details on how to seek permission, further information about the Publisher’s permissions policies and our arrangements with organizations such as the Copyright Clearance Center and the Copyright Licensing Agency, can be found at our website: www.elsevier.com/permissions. This book and the individual contributions contained in it are protected under copyright by the Publisher (other than as may be noted herein). Notices Knowledge and best practice in this field are constantly changing. As new research and experience broaden our understanding, changes in research methods, professional practices, or medical treatment may become necessary. Practitioners and researchers must always rely on their own experience and knowledge in evaluating and using any information, methods, compounds, or experiments described herein. In using such information or methods they should be mindful of their own safety and the safety of others, including parties for whom they have a professional responsibility. To the fullest extent of the law, neither the Publisher nor the authors, contributors, or editors, assume any liability for any injury and/or damage to persons or property as a matter of products liability, negligence or otherwise, or from any use or operation of any methods, products, instructions, or ideas contained in the material herein. ISBN: 978-0-12-815119-8 ISSN: 0065-2458 For information on all Academic Press publications visit our website at https://www.elsevier.com/books-and-journals Publisher: Zoe Kruze Acquisition Editor: Zoe Kruze Editorial Project Manager: Shellie Bryant Production Project Manager: James Selvam Cover Designer: Christian J. Bilbow Typeset by SPi Global, India CONTENTS Preface vii 1. Model-Based Testing for Internet of Things Systems 1 Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, and Bruno Legeard 1. Introduction 2. Challenges of Testing IoT Systems 3. State of the Art 4. MBT for IoT Conformance Testing 5. MBT for IoT Security Testing 6. Online MBT for IoT Robustness Testing 7. Model-Based Testing as a Service 8. Lessons Learnt and Discussion 9. Conclusion Acknowledgments References About the Authors 2 4 8 17 27 41 44 50 52 54 54 56 2. Advances in Software Model Checking 59 Junaid H. Siddiqui, Affan Rauf, and Mary