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