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

Type: conference

Notes: IARIA Conference.

Editors:
Jos van Rooyen, Identify - Software Quality Services, the Netherlands
Samuele Buro, University of Verona, Italy
Marco Campion, University of Verona, Italy
Michele Pasqua, University of Verona, Italy

ISSN: 2308-4316

ISBN: 978-1-61208-755-9

Location: Valencia, Spain

Dates: from November 24, 2019 to November 28, 2019

Articles: there are 10 articles

Towards an Operational Semantics for Solidity
Marco Crosara, Gabriele Centurino, and Vincenzo Arceri
keywords: Programming Languages; Solidity; Semantics

Learning Metamorphic Rules from Widening Control Flow Graphs
Marco Campion, Mila Dalla Preda, and Roberto Giacobazzi
keywords: Static binary analysis; Metamorphic malware detection; Program semantics; Widening automata; Learning grammars

Chameleon: The Gist of Dynamic Programming Languages
Samuele Buro, Michele Pasqua, and Isabella Mastroeni
keywords: programming language design, dynamic programming languages, program static analysis

A Taint Analyzer for COBOL Programs
Alberto Lovato, Roberto Giacobazzi, and Isabella Mastroeni
keywords: Taint analysis; Injection attacks; Information leakage; COBOL.

How to Overcome Test Smells in an Automation Environment
Mesut Durukal
keywords: cloud services; asynchronous microservices; test automation; test smells; robustness.

Applying Passive Testing to an Industrial Internet of Things Plant
Marco Grochowski, Stefan Kowalewski, Melanie Buchsbaum, and Christian Brecher
keywords: Passive testing, Industrial Internet of Things, Industrial Cyber-Physical Systems

Low-Code Solution for IoT Testing
Hugo Cunha, João Pascoal Faria, and Bruno Lima
keywords: Visual Interface; IoT; Integration Testing

How to Adapt Machine Learning into Software Testing
Mesut Durukal
keywords: artificial intelligence; machine learning; software testing; test automation.

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, and Cícero Augusto De Lara Pahins
keywords: Testing; Validation; Continuous; Tool.

Refinement Maps for Insulin Pump Control Software Safety Verification
Eman Al-Qtiemat, Sudarshan Srinivasan, Zeyad Al-Odat, and Sana Shuja
keywords: Keywords–Formal verification; safety-critical devices; Refinement maps; Refinement-based verification.