23rd of April 2019, Xian - China

VVIoT 2019

Second International Workshop on Verification and Validation of Internet of Things

co-located with ICST 2019

Internet of Things (IoT) are unarguably considered as the next revolution of Internet. IoT are often viewed as a network of connected physical devices and systems capable of sensing and actuating the physical world, in addition to communicating with other devices and systems via information networks.

In the most sophisticated form, IoT must be capable of exhibiting self-* behaviors (e.g., self-configuration, self-healing, and self-adaption) in response to changes in the context of the physical environment without requiring any human intervention. The software is the key enabler for such flexibility and advanced features in IoT.

The tight integration of the cyber capabilities of the corresponding physical devices with the physical world brings novel verification and validation challenges. Some of these challenges include:1) High connectivity with both open and closed networks, 2) Highly heterogeneous not only in terms of physical devices but also in terms of large number of IoT middleware and IoT infrastructures, 3) Interaction with the physical world that is highly unpredictable, 4) Tight restrictions on resources, 5) Strict requirements on extra- functional properties such as security and safety, 6) Highly unpredictable behaviour of autonomous behaviours implemented in IoT and Industrial IoT (IIoT).

The VVIoT workshop will be a forum for academics, industrial researchers, developers, and practitioners to discuss challenges and advances in Verification and Validation of Internet of Things.


Opening session

Keynote Presentation

Domenico AmalfitanoUniversity of Naples Federico II, Italy

Coffee Break

VVIoT Technical Track

Behavioral Models and Scenario Selection for Testing IoT Trickle-based Lossy Multicast Networks, Ngo Minh Thang Nguyen, Arnault Lapitre, Boutheïna Bannour and Pascale Le Gall

NEXTA Technical Track

Automatic Generation of Capability Leaks’ Exploits for Android Applications, Mingsong Zhou, Fanping Zeng and Yu Zhang

Test Agents: The Next Generation of Test Cases, Eduard Paul Enoiu and Mirgita Frasheri

Prediction of Undetected Faults in Safety-critical Software, Johan Sundell, Richard Torkar, Kristina Lundqvist and Håkan Forsberg



Augmented Testing: Industry Feedback To Shape a New Testing Technology, Michel Nass, Emil Alégroth and Robert Feldt

Towards Automated Generation of Bug Benchmark for Smart Contracts, Jiaming Ye, Mingliang Ma, Tianyong Peng, Yun Peng and Yinxing Xue

TAICPART Technical Track

Developing a QRNG ECU for automotive security: Experience of testing in the real-world, Hoang Nga Nguyen, Siamak Tavakoli, Siraj Ahmed Shaikh and Oliver Maynard

Evaluating a test automation decision support tool, Kesina Baral, Rasika Mohod, Jennifer Flamm, Seth Goldrich and Paul Ammann

Closing Session

Coffee Break

Call for Papers

Topics of Interest

We solicit original submissions on the topics including, but not limited to:
- Testing techniques for IoT systems
- Fault Taxonomies for IoT systems
- Tools and infrastructures for IoT testing
- Simulation environments for IoT systems (e.g., how to simulate physical inputs from the environment)
- Unit, integration and system testing for IoT systems
- Model-based testing of IoT systems
- Test models for IoT systems
- IoT testing in several application domains (smart cities, e-health, smart buildings, transportation, industrial automation, etc.)
- Formal Verification techniques for IoT systems
- Testing as a service for IoT systems
- Testing heterogeneous IoT systems
- Testing time constrained IoT systems
- Extra-Functional testing of IoT systems including but not limited to Security, Privacy, Safety, and Robustness
- IoT middleware testing
- IoT infrastructure testing
- Test optimization including test minimization, prioritization, test selection for IoT Testing
- IoT interoperability testing
- Empirical evaluations on any of the above topics

Paper Submission

Three types of papers can be submitted to the workshop, in addition to European/National Projects Presentations:
- Full papers (10 pages): Full research reporting new ideas with proper validation. Papers reporting extensive empirical evaluations on the above-mentioned topics are also welcomed.
- Short papers (6 pages): Research in progress, tools, experience reports, new ideas, applications and lessons learned in industry.
- Extended Abstract (1-2 pages): Extended abstracts discussing an important testing problem either in industry or academia, any solution to the identified problem, discussion and open research questions.
- European/National Project presentations (in IoT testing verification and validation, e.g. H2020): An abstract for a presentation on a European, National, or International Project on the above mentioned-topics. Note that abstracts will not be published.

Submission Link: https://easychair.org/conferences/?conf=vviot2019

Each paper must conform to the two columns IEEE conference publication format (http://www.computer.org/portal/web/cscps/formatting) and must be submitted in PDF. Submissions will be evaluated according to the relevance and originality of the work and to their ability to generate discussions between the participants of the workshop.Three reviewers will review each paper and all the accepted papers will be published as part of the ICST proceedings.

The workshop will have the best paper award, which will be announced and bestowed at the workshop closing session.


Program Chairs

Shaukat Ali, Simula Research Laboratory, Norway
Tao Yue, Simula Research Laboratory, Norway
Rui Abreu, Instituto Superior Técnico (IST) of the University of Lisbon, Portugal

Program Committee

- Bao Nguyen, Google (USA)
- Tian Zhang, Nanjing University (China)
- Ji Wu, Beihang University (China)
- Tingting Yu, University of Kentucky (USA)
- Bruno Lima, University of Porto (Portugal)
- Zohaib Iqbal, QUEST Laboratory (Pakistan)
- João Pascoal Faria, University of Porto (Portugal)
- Markus Schacher, KnowGravity (Switzerland)
- Darko Marinov, University of Illinois (USA)
- Hironori Washizaki, WASEDA University (Japan)
- Sarfraz Khurshid, University of Texas (USA)
- Neil Walkinshaw, University of Leicester (UK)
- Alessandra Bagnato, SOFTEAM (France)
- Aitor Urbieta, IK4-Ikerlan (Spain)



Domenico Amalfitano University of Naples Federico II

Title TBA


As part of ICST 2019, the workshop will be held at the Westin Xian.


Authors and participants must register through the main conference website: Registration for ICST 2019