DETAILED PROGRAM
Hours are in UTC. To convert into your local time zone, please use The Time Zone Converter
Day 0 - Tuesday, September 8
8:00 - SEDES - Doctoral Symposium's Welcome
8:15 - Mehrdad Moradi and Joachim Denil "Machine-Learning Assisted Model-Implemented Fault Injection"
8:30 - questions and recommendations from advice pannel
9:00 - Yon Vanommeslaeghe, Joachim Denil and Paul De Meulenaere. Multi-Paradigm Design Space Exploration for Advanced Cyber-Physical Systems
9:20 - questions and recommendations from advice pannel
09:45 - Coffee Break
10:00 - Joost Mertens and Joachim Denil. Digital Twins for Continuous Deployment in Model-Based Systems Engineering of Cyber-Physical Systems
10:20 - questions and recommendations from advice pannel
11:00 - Lunch Break
13:00 - Keynote: Manuel Wimmer, JKU Linz - Austria, Design Science for Software and Systems Engineering
14:00 - Coffee Break
14:15 - Darliane Miranda and Joao Araujo. A Framework for Integrating Web Accessibility Requirements in Agile Methodology
14:35 - questions and recommendations from advice pannel
15:00 - Sara Fernandes, Ademar Aguiar and André Restivo. Live Software Inspection and Refactoring
15:20 - questions and recommendations from advice pannel
15:45 - Close Session
15:45 - Coffee Break
Day 1 -Wednesday, September 9
Welcome message - Pedro Guerreiro (Universidade do Algarve)
About the organization - Alberto Silva (Organizing Chair)
About the program - Martin Shepperd & Fernando Brito e Abreu (Program Chairs)
10:30 – Coffee Break
#42 Reverse Engineering of Android Applications: REiMPAcT - Marco Gonçalves, Ana Cristina Ramada Paiva
#45 An Approach and a Prototype Tool for Generating Executable IoT System Test Cases - Dario Olianas, Maurizio Leotta, Filippo Ricca
(see detailed program here)
12:00 – Lunch Break
#47 Applied Statistical Model Checking for a Sensor Behavior Analysis - Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga
#49 Preliminary Experiences in Requirements-based Security Testing - João Gabriel Longo de Miranda, Ana Cristina Ramada Paiva, Alberto Silva
(see detailed program here)
14:30 – Coffee Break
14:45 – ICT Verification and Validation III [Room A] - Session Chair: Antonia Bertolino (CNR, Italy)
#34 A dataset of regressions in web applications detected by end-to-end tests - Michel Maes, Óscar Soto, Francisco Gortázar, Micael Gallego
#70 Testing chatbots with Charm (short paper) - Sergio Bravo-Santos, Esther Guerra, Juan De Lara
#76 Towards failure prediction in scientific workflows using stochastic Petri nets and dynamic logic (short paper) - Bruno Lopes, Daniel de Oliveira
(see detailed program here)
15:45 – Coffee Break
What is V&V's role in a DevOps and CI/CD world?
Panelists: Antonia Bertolino (CNR), Antoine Craske (La Redoute), Francisco Gortázar (Univ. Rey Juan Carlos), Jaime Jorge (Codacy), Ana Paiva (University of Porto)
Day 2 - Thursday, September 10
9:30 – KEYNOTE [Main Room] - Invited Speakers: João Paulo Carvalho & João Nunes (Quidgest, Portugal)
Built-in quality in software development automation with models and artificial intelligence
10:30 – Coffee Break
10:45 – Software Evolution I [Room A] - Session Chair: Nicolas Anquetil (INRIA & Univ. Lille-1, France)
#23 Towards Automated Taxonomy Generation for Grouping App Reviews: A Preliminary Empirical Study - Saurabh Malgaonkar, Sherlock Licorish, Tony Savarimuthu
#60 An Empirical Study on the Persistence of SpotBugs Issues in Open-Source Software Evolution (short paper) - Luigi Lavazza, Davide Tosi, Sandro Morasca
#38: Zones of Pain: Visualising the Relationship between Software Architecture and Defects (short paper) - Jean Petric, Tracy Hall, David Bowes
10:45 – Software Quality Education and Training + Agile Methods [Room B] - Session Chair: Claudia Werner (COPPE/UFRJ, Brazil)
#12 Design of Secure Coding Challenges for Cybersecurity Education in the Industry - Tiago Gasiba, Ulrike Lechner, Maria Pinto-Albuquerque, Alae Zouitni
#41 Human Factors of the Agile Software Tester - Lucas Paruch, Viktoria Stray, Raluca Madalina Florea
#65 Q-Scrum: A Framework for Quality in Safety-Critical Development (short paper) - Johnny Marques, Adilson Marques da Cunha, Luiz Alberto Viera Dias
12:00 – Lunch Break
13:30 – Software Evolution II [Room A] - Session Chair: Nicolas Anquetil (INRIA & Univ. Lille-1, France)
#8: Suggesting Descriptive Method Names: An Exploratory Study of Two Machine Learning Approaches - Oleksandr Zaitsev, Stephane Ducasse, Alexandre Bergel, Mathieu Eveillard
#13: Challenges for Layout Validation: Lessons Learned - Santiago Bragagnolo, Benoît Verhaeghe, Abderrahmane Seriai, Mustapha Derras, Anne Etien
13:30 – Quality Aspects in Machine Learning, AI and Data Analytics I [Room B] - Session Chair: Leandro Minku (University of Birmingham, UK)
#9 Perceived Quality of Artificial Intelligence in Smart Service Systems: A structured Approach (short paper) - Jens Neuhüttler, Rudolf Fischer, Walter Ganz, Florian Urmetzer
#2 Data Cleaning: A Case Study with OpenRefine and Trifacta Wrangler (short paper) - Dessislava Petrova-Antonova, Rumyana Tancheva
14:30 – Coffee Break
14:45 – Requirements Engineering + Model Driven Methods [Room A] - Session Chair: Luis Olsina (Univ. Nacional de La Pampa, Argentina)
#75 An experience with the application of three NLP tools for the analysis of natural language requirements (short paper) - Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini
#35 From Rigorous Requirements and User Interfaces Specifications into Software Business Applications - Ivo Gamito, Alberto Silva
14:45 – Quality Aspects in Machine Learning, AI and Data Analytics II [Room B] - Session Chair: Leandro Minku (University of Birmingham, UK)
#57 Towards Guidelines for Assessing Qualities of Machine Learning Systems (short paper) - Julien Siebert, Lisa Jöckel, Jens Heidrich, Koji Nakamichi, Kyoko Ohashi, Isao Namba, Rieko Yamamoto, Mikio Aoyama
#66 NSP dataset and offline signature verification (short paper) - Roman Sudarikov, Dmitry Bakhteev
15:45 – Coffee Break
How will machine learning change the way IT professionals work?
Panelists: David Bowes (Lancaster University) and Leandro Minku (University of Birmingham )
Day 3 - Friday, September 11
9:30 – QUATIC'2010 Most Influential Paper Award Ceremony [Room A] - Invited Reviewer: Fabio Palomba (Univ. of Salerno, Italy)
Ten years after, the winner is ... (here is the presentation by the first author of the awarded paper)
9:30 – Quality Aspects in Quantum Computing I [Room B] - Session Chair: Manuel Serrano (UCLM, Spain)
#17 Math and Physics tools for Quality Quantum Programming - Ezequiel Murina
#51 Adapting COBIT for Quantum Computing Governance - Miguel Angel Blanco
10:30 – Coffee Break
10:45 – Process Modeling, Improvement and Assessment I [Room A] - Session Chair: Karol Frühauf (INFOGEM, Switzerland)
#29 Systematic Literature Review of DevOps Models - Monika Gasparaite, Kristina Naudziunaite, Saulius Ragaisis
#40 Measuring the maturity of BizDevOps (short paper) - Eduardo Sanjurjo, Oscar Pedreira, Felix García, Mario Piattini
#54 Process Compliance Re-Certification Efficiency Enabled by EPF-C ° BVR-T: a Case Study (short paper) - Barbara Gallina, Aleksandër Pulla, Antonela Bregu, Julieth Patricia Castellanos Ardila
10:45 – Quality Aspects in Quantum Computing II [Room B] - Session Chair: Manuel Serrano (UCLM, Spain)
#36 Reverse engineering of quantum programs toward KDM models - Luis Jiménez Navajas, Ricardo Pérez-Castillo, Mario Piattini
#31 Quantum Agile Development Framework for Quality Quantum Programming (short paper) - Guillermo Jose Hernandez Gonzalez, Claudio Ándres Paradela
#64 On the source code structure of quantum code: insights from Q# and QDK (short paper) - Miguel-Angel Sicilia, Salvador Sanchez-Alonso, Marçal Mora-Cantallops, Elena Garcia-Barriocanal
12:00 – Lunch Break
13:30 – Process Modeling, Improvement and Assessment II [Room A] - Session Chair: Karol Frühauf (INFOGEM, Switzerland)
#10 Applying Continual Service Improvement Practices to Study Quality of Healthcare Information System Services - Sanna Heikkinen, Marko Jantti, Kaija Saranto
#22 A Personal Opinion Survey on Process-based Compliance Checking in the Safety Context - Julieth Patricia Castellanos Ardila, Barbara Gallina
13:30 – Safety, Security and Privacy I [Room B] - Session Chair: Ana Rosa Cavalli (Inst. Polyt. Paris/ Telecom SudParis)
#33 Towards a Framework for Improving Experiments on DoS Attacks - Marta Catillo, Antonio Pecchia, Umberto Villano
#37 A Cloud SecDevOps Methodology: from design to testing - Valentina Casola, Alessandra De Benedictis, Massimiliano Rak, Giovanni Salzillo
14:30 – Coffee Break
14:45 – Evidence-Based Software Quality Engineering [Room A] - Session Chair: Tracy Hall (University of Lancaster, UK)
#5 Applying Machine Learning in Technical Debt Management: Future Opportunities and Challenges - Angeliki-Agathi Tsintzira, Elvira-Maria Arvanitou, Apostolos Ampatzoglou, Alexander Chatzigeorgiou
#28 On the Temporality of Introducing Code Technical Debt - Georgios Digkas, Apostolos Ampatzoglou, Alexander Chatzigeorgiou, Paris Avgeriou
#67 Is Complexity of Re-test a Reason Why Some Refactorings Are Buggy? An Empirical Perspective (short paper) - Steve Counsell, Stephen Swift, Mahir Arzoky, Giuseppe DeStefanis
14:45 – Safety, Security and Privacy II [Room B] - Session Chair: Ana Rosa Cavalli (Inst. Polyt. Paris/ Telecom SudParis)
#77 Secure Agile Software Development: Policies and practices for agile teams - Carlos Bezerra, Suzana Sampaio, Marcelo Marinho
#52 Accountability in the A Posteriori Access Control: a Requirement and a Mechanism (short paper) - Farah Dernaika, Nora Cuppens-Boulahia, Frédéric Cuppens, Olivier Raynaud
#68 A Privacy-By-Design Architecture for Indoor Localization Systems (short paper) - Antonello Calabrò, Eda Marchetti, Said Daoudagh, Paolo Barsocchi, Antonino Crivello, Michele Girolami, Francesco Furfari
15:45 – Coffee Break
From software through art to social entrepreneurship
QUATIC'2020 Best Paper Award – QUATIC'2020 Program Chairs
Invitation to QUATIC'2021 – QUATIC'2021 Program and Organizing Chairs