Scientific Program

Monday, September 12, 2022

8:50-9:00 Opening

QUATIC'22 Opening by the program and organizing chairs

9:00-10:30 Keynote

by Mauricio Aniche

10:30-11:00 Welcome

QUATIC'22 Welcome by academic and political personalities of Talavera de la Reina and Castilla-La Mancha

11:00-11:30 Coffee break

11:30-13:00 Session 1. Smart and advanced systems

  • Quality Characteristics of a Software Platform for Human-AI Teaming in Smart Manufacturing.

Philipp Haindl, Thomas Hoch, Javier Dominguez, Julen Aperribai, Nazim Kemal Ure and Mehmet Tunçel.

  • Architectural Decisions in AI-based Systems: An Ontological View (Short Paper)

Xavier Franch, Silverio Martínez-Fernández, Claudia P. Ayala and Cristina Gómez.

  • Quantum Software as a Service Through a Quantum API Gateway (Journal-First Paper)

Jose García-Alonso, Javier Rojo, David Valencia, Enrique Moguel, Javier Berrocal and Juan Manuel Murillo Rodríguez.

13:00-14:30 Lunch

14:30-16:00 Session 2. Verification and Validation #1

  • An Empirical Study to Quantify the SetUp and Maintenance Benefits of Adopting WebDriverManager. [*Nominated for the Best Paper Award]

Maurizio Leotta, Boni García and Filippo Ricca.

  • Assessing Black-box Test Case Generation Techniques for Microservices.

Luca Giamattei, Antonio Guerriero, Roberto Pietrantuono and Stefano Russo.

  • ReSuMo: Regression Mutation Testing for Solidity Smart Contracts.

Morena Barboni, Francesco Casoni, Andrea Morichetta and Andrea Polini.

16:00-16:30 Coffee break

16:30-18:00 Session 3. Verification and Validation #2

  • Is NLP-based Test Automation Cheaper than Programmable and Capture & Replay?

Maurizio Leotta, Filippo Ricca, Simone Stoppa and Alessandro Marchetto.

  • Effective Spectrum Based Fault Localization Using Contextual Based Importance Weight

Qusay Idrees Sarhan and Árpád Beszédes.

  • Comparing the Effectiveness of Assertions with Differential Testing in the context of Web Testing

Maurizio Leotta, Davide Paparella and Filippo Ricca.

  • Ambiguity in user stories: a systematic literature review (Journal-First Paper)

Anis R. Amna and Geert Poels.

Tuesday, September 13, 2022

9:30-11:00 Keynote

by Sergio Segura

11:00-11:30 Coffee break

11:30-13:00 Session 4. Skills & Education

  • Analyzing Quality Issues from Software Testing Glossaries used in Academia and Industry.

Luis Olsina, Philip Lew and Guido Tebes.

13:00-14:30 Lunch

14:30-16:00 Session 5. Industrial Experiences and Applications (IEA)

              • Data quality certification using ISO/IEC 25012: Industrial experiences. (Journal-First Paper)

Fernando Gualo, Moisés Rodríguez, Javier Verdugo, Ismael Caballero and Mario Piattini.

              • Improving the Quality of ICT and Forestry Service Processes with Digital Service Management Approach: A Case Study on Forestry Liquids.

Marko Jäntti and Markus Aho.

              • Towards a Process Reference Model for Clinical Coding. [*Nominated for the Best Paper Award]

Ismael Caballero, Júlio Souza, Fernando Lopes, João Vasco Santos and Alberto Freitas.

              • Digital Twin for IoT Environments: A Testing and Simulation Tool.

Luong Nguyen, Mariana Segovia, Wissam Mallouli, Edgardo Montes de Oca and Ana Rosa Cavalli.

16:00-16:30 Coffee break

16:30-18:00 Keynote

by Nicole Novielli

Wednesday, September 14, 2022

9:30-11:00 Session 6. Safety, Security and Privacy (S&S) #1

  • Simpler is better: on the use of autoencoders for intrusion detection.

Marta Catillo, Antonio Pecchia and Umberto Villano.

  • A Proposal for FPGA-accelerated Deep Learning Ensembles in MPSoC Platforms Applied to Malware Detection. (Short-Paper)

Alessandro Cilardo, Vincenzo Maisto, Nicola Mazzocca and Franca Rocco Di Torrepadula.

  • Automated Threat Modeling Approaches: An Open Source tools Comparison.

Daniele Granata, Massimiliano Rak and Giovanni Salzillo.

  • Understanding Black-Box Attacks Against Object Detectors From a User’s Perspective.

Kim A. B. Midtlid, Johannes Åsheim and Jingyue Li.

11:00-11:30 Coffee break

11:30-13:00 Session 7. Safety, Security and Privacy (S&S) #2

  • Alice in (Software Supply) Chains: Risk Identification and Evaluation.

Giacomo Benedetti, Luca Verderame and Alessio Merlo.

  • Evaluating Tangle Distributed Ledger for Access Control Policy Distribution in Multi-region Cloud Environments.

Carlo Mazzocca, Andrea Sabbioni, Rebecca Montanari and Michele Colajanni.

  • Toward the adoption of secure Cyber Digital Twins to enhance Cyber-Physical Systems security.

Alessandra De Benedictis, Christiancarmine Esposito and Alessandra Somma.

13:00-13:15 Closure