The Eleventh International Conference on Advances in System Testing and Validation Lifecycle

VALID 2019

November 24, 2019 to November 28, 2019 - Valencia, Spain

Deadlines

Submission

Aug 14, 2019

Notification

Sep 16, 2019

Registration

Sep 30, 2019

Camera ready

Oct 09, 2019

Publication

Published by IARIA XPS Press

Archived in the free access ThinkMind Digital Library

Prints available at Curran Associates, Inc.

Authors of selected papers will be invited to submit extended versions to a IARIA Journal

Indexing Procedure

Affiliated Journals

VALID 2019 - The Eleventh International Conference on Advances in System Testing and Validation Lifecycle

November 24, 2019 - November 28, 2019

VALID 2019: Awards

The papers listed below have been selected as "Best Papers" based on the reviews of the original submission, the camera-ready version, and the presentation during the conference. For the awarded papers, a digital award will be issued in the name of the authors. The authors of these papers are also receiving invitations to submit an extended article version to one of the IARIA Journals.

Awarded Papers

Towards an Operational Semantics for Solidity
Marco Crosara, Gabriele Centurino, Vincenzo Arceri

Low-Code Solution for IoT Testing
Hugo Cunha, João Pascoal Faria, Bruno Lima

 

The following papers have been selected on the basis of their contents, specificaly for lending themselves to an interesting extended work. The authors of these papers are receiving invitations to submit an extended article version to one of the IARIA Journals.

Papers Invited for IARIA Journals

Chameleon: The Gist of Dynamic Programming Languages
Samuele Buro, Michele Pasqua, Isabella Mastroeni

A Taint Analyzer for COBOL Programs
Alberto Lovato, Roberto Giacobazzi, Isabella Mastroeni

Applying Passive Testing to an Industrial Internet of Things Plant
Marco Grochowski, Stefan Kowalewski, Melanie Buchsbaum, Christian Brecher

How to Overcome Test Smells in an Automation Environment
Mesut Durukal

Sandiff: Semantic File Comparator for Continuous Testing of Android Builds
Carlos Eduardo De Souza Aguiar, José Ivan Bezerra VIlarouca Filho, Agnaldo Oliveira Penha Junior, Rodrigo José Borba Fernandes, Cícero Augusto De Lara Pahins

Refinement Maps for Insulin Pump Control Software Safety Verification
Eman Al-Qtiemat, Sudarshan Srinivasan, Zeyad Al-Odat, Sana Shuja