Program - ICST 2020

Ivan PorresÅbo Akademi University, Tanwir AhmadÅbo Akademi University, Hergys RexhaÅbo Akademi University, Sebastien LafondÅbo Akademi University, Dragos TruscanÅbo Akademi University

10:00 - 10:30
Full-paper

Performance Evaluation of Container Share Volumes

Naylor GarciaUniversity of São Paulo - USP, Paulo Sergio Lopes de SouzaUniversity of São Paulo - USP, Sarita M. BruschiUniversity of São Paulo - USP, Simone do Rocio Senger de SouzaUniversity of São Paulo - USP

10:30 - 11:00: Catering - Coffee Break

11:00 - 12:30: CCIW 2020 - Culprit Finding Session at Infante

11:00 - 11:30
Talk

Escalating CI/CD for Growing Companies: The Pipelines 2.0 Project

Cristiano CunhaFarfetch

11:30 - 12:00
Talk

Athena: Keeping the build stable automatically

Utsav ShahDropbox

12:00 - 12:30
Talk

Culprit Finder: Tinderbox Build Breakage Triaging Tool

Shruti HonnungarVMware

11:00 - 12:30: NEXTA 2020 - Improving Session at D. Luis

11:00 - 11:25
Full-paper

Test Automation Process Improvement in a DevOps Team: Experience report

Yuqing WangUniversity of Oulu, Maaret PyhäjärviF-Secure, Mika MäntyläUniversity of Oulu

11:25 - 11:50
Full-paper

Selective Regression Testing based on Big Data: Comparing Feature Extraction Techniques

Khaled Al-SabbaghUniversity of Gothenburg, Miroslaw StaronUniversity of Gothenburg, Regina HebigChalmers | Gothenburg University, Miroslaw OchodekPoznan University of Technology, Wilhelm MedingEricsson

11:50 - 12:05
Short-paper

Test Automation Challenges for Application Landscape Frameworks

Nils WildResearch Group Software Construction RWTH Aachen University, Horst LichterRWTH Aachen University, Peter KehrenResearch Group Software Construction RWTH Aachen University

12:05 - 12:30
Full-paper

Test Automation Improvement Model - TAIM 2.0

Sigrid EldhEricsson

11:00 - 12:30: TAIC PART 2020 - Session II at Miragaia

11:00 - 11:22
Talk

Prioritization of Test Cases with Varying Test Costs and Fault Severities for Certification Testing. Sahin Dirim and Hasan Sozer

11:22 - 11:45
Talk

Test Tools: an illusion of usability? Isabel Evans, Chris Porter, Mark Micallef and Julian Harty

11:45 - 12:07
Talk

Towards a unified catalog of attributes to guide industry in software testing technique selection. Italo Santos, Silvana Morita Melo, Paulo Sergio Lopes de Souza and Simone R. S. Souza

12:07 - 12:30
Talk

Fast Abstract: Data Dynamics for Testing Systems

Julian HartyCommercetest Ltd

11:00 - 12:30: Mutation 2020 - Session II at Arrábida

11:00 - 11:30
Full-paper

On the impact of timeouts and JVM crashes in Pitest

Anthony VentresqueLero and University College Dublin

11:30 - 12:00
Full-paper

Using mutation testing to measure behavioural test diversity

Francisco GomesChalmers | University of Gothenburg, Robert FeldtChalmers University of Technology

12:00 - 12:30
Full-paper

SiMut: Exploring Program Similarity to Support the Cost Reduction of Mutation Testing

Fabiano FerrariFederal University of São Carlos, Jeff OffuttGeorge Mason University

11:00 - 12:30: A-MOST - Session II at Porto

11:00 - 11:30
Full-paper

A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements

Aitor ArrietaMondragon Goi Eskola Politeknikoa, Joseba Andoni AgirreUniversidad Mondragon , Goiuria SagarduiUniversity of Mondragon

11:30 - 12:00
Full-paper

A Model-Based Security Testing Approach for Automotive Over-The-Air Updates

Shahid MahmoodCoventry University , Alexy FouilladeEcole superieure d’electronique de l’Ouest, Hoang Nga NguyenCoventry University , Siraj Ahmed ShaikhCoventry University, Coventry, UK

12:00 - 12:30
Full-paper

Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software

Franz WotawaTechnische Universitaet Graz, Josip BozicGraz University of Technology, Yihao LiInstitute of Technology, Graz University of Technology

11:00 - 12:30: ITEQS 2020 - Session II at São João

11:00 - 11:30
Full-paper

Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking

Mitsuaki TsujiNara Institute of Science and Technology, Toshinori TakaiNara Institute of Science and Technology, Kazuki KakimotoNara Institute of Science and Technology, Naoki IshihamaJapan Aerospace Exploration Agency, Masafumi KatahiraJapan Aerospace Exploration Agency, Hajimu IidaNara Institute of Science and Technology

11:30 - 12:00
Full-paper

Generating Tests for the Discovery of Security Flaws in Product Variants

Francisco AraújoLASIGE, Faculdade de Ciências da Universidade de Lisboa, Ibéria MedeirosLaSIGE, Faculdade de Ciências da Universidade de Lisboa, Nuno NevesDI FC UL

12:00 - 12:30
Full-paper

Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance

Aymeric CretinFemto-ST Institute, Alexandre VernotteFemto-ST Institute, Antoine ChevrotFemto-ST Institute, Fabien PeureuxInstitut FEMTO-ST (UMR CNRS 6174) and Smartesting S&S, Bruno LegeardFEMTO-ST / DISC

11:00 - 12:30: IWCT 2020 - Test Generation and Combinatorial Testing Applications Session at Farfetch (D. Maria)

11:00 - 11:30
Full-paper

An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines

Andrea BombardaUniversity of Bergamo, Angelo GargantiniUniversity of Bergamo

11:30 - 12:00
Short-paper

Combinatorial Methods for Explainable AI

Rick KuhnNatl Institute of Standards & Technology, Raghu KackerNational Institute of Standards and Technology, Jeff LeiUniversity of Texas at Arlington, Dimitris SimosSBA Research

12:00 - 12:15
Full-paper

Generation of Invalid Test Inputs from Over-Constrained Test Models for Combinatorial Robustness Testing

Konrad FögenRWTH Aachen University, Horst LichterRWTH Aachen University

12:15 - 12:30
Short-paper

On Using Ontologies for Testing Compilers

Yihao LiInstitute of Technology, Graz University of Technology, Franz WotawaTechnische Universitaet Graz

12:30 - 14:00: Catering - Lunch

14:00 - 15:30: IWCT 2020 - Combinatorial Testing Tools Session at Farfetch (D. Maria)

14:00 - 14:30
Full-paper

A Comparison Infrastructure for FaultCharacterization Algorithms

Torben FriedrichsRWTH Aachen University, Konrad FögenRWTH Aachen University, Horst LichterRWTH Aachen University

14:30 - 15:00
Full-paper

Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application

Jan RichterCzech Technical University in Prague, Bestoun S. AhmedKarlstad University, Miroslav BuresCzech Technical University in Prague, Cleber R. Rosa JuniorRed Hat, Inc.

Pre-print

15:00 - 15:30
Full-paper

CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays

Michael WagnerSBA Research, Kristoffer KleineSBA Research, Dimitris SimosSBA Research, Rick KuhnNatl Institute of Standards & Technology, Raghu KackerNational Institute of Standards and Technology

14:00 - 15:30: CCIW 2020 - Flaky Tests Session at Infante

14:00 - 14:45
Talk

Test flakiness reduction of retry reduction? Why not have both?

Stanislaw SwiercFacebook

14:45 - 15:30
Talk

Coping with Flaky Tests

Jonathan BellGeorge Mason University

14:00 - 15:30: NEXTA 2020 - Optimising Session at D. Luis

14:00 - 14:25
Full-paper

Optimizing the Parameters of an Evolutionary Algorithm for Fuzzing and Test Data Generation

Ralf GerlichDr. Rainer Gerlich System and Software Engineering, Christian R. PrauseGerman Aerospace Center - Space Administration

14:25 - 14:50
Full-paper

Boundary Value Exploration for Software Analysis

Felix DobslawChalmers University of Technology, Francisco GomesChalmers | University of Gothenburg, Robert FeldtChalmers University of Technology

14:50 - 15:05
Short-paper

Test Data Generation for MC/DC Criterion using Reinforcement Learning

Ján ČegiňFaculty of Informatics and Information Technologies Slovak Technical University, Karol RástočnýFaculty of Informatics and Information Technologies Slovak Technical University

15:05 - 15:30
Full-paper

Optimization of automated executions based on integration test configurations of embedded software

Masashi MizoguchiHitachi Ltd., Takahiro IidaHitachi Automotive Systems Ltd., Toru IrieHitachi Automotive Systems Ltd.

14:00 - 15:30: Mutation 2020 - Session III at Arrábida

14:00 - 14:30
Full-paper

Predicting Survived and Killed Mutants

Dietmar PfahlUniversity of Tartu, Rudolf RamlerSoftware Competence Center Hagenberg

14:30 - 15:00
Full-paper

Fault Types of Adaptive and Context-Aware Systems and Their Relationship with Fault-based Testing Approaches

Fabiano FerrariFederal University of São Carlos

15:00 - 15:30
Full-paper

MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests

Michael PhilippsenFriedrich-Alexander University Erlangen-Nürnberg (FAU)

14:00 - 15:30: A-MOST - Session III at Porto

14:00 - 14:30
Full-paper

Using tabular notation to support Model Based Testing

Rachid KherraziAkka Technologies

14:30 - 15:00
Full-paper

Model-Based Testing for MAPE-K adaptation control loops

Paolo ArcainiNational Institute of Informatics , Raffaela MirandolaPolitecnico di Milano , Elvinia RiccobeneComputer Science Dept., University of Milan , Patrizia ScandurraDIIMM - University of Bergamo

15:00 - 15:30
Full-paper

Conformance Testing in UPPAAL: A diabolic approach

Florian LorberAalborg University, Emil Jørgensen NjorAalborg University, Nikolaj Isgård SchmidtAalborg University, Sebastian Reidar PetersenAalborg University

14:00 - 15:30: ITEQS 2020 - Session III at São João

14:00 - 15:00
Talk

Security Testing using Artificial Intelligence Methods and Techniques

Franz WotawaTechnische Universitaet Graz

15:00 - 15:30
Full-paper

Keywords-based test categorization for Extra-Functional Properties

Muhammad AbbasRISE Research Institutes of Sweden, Abdul RaufRISE Research Institutes of Sweden, Mehrdad SaadatmandRISE Research Institutes of Sweden, Eduard Paul EnoiuMälardalen University, Daniel SundmarkMälardalen University

Pre-print

15:30 - 16:00: Catering - Coffee Break

15:30 - 16:00: IWCT 2020 - Poster Presentation Session at Farfetch (D. Maria)

15:30 - 16:00
Talk

Toward encoding approach to Interaction-based Test Suite Minimization

Kohei NishinoWaseda University, Takashi KitamuraNational Institute of Advanced Industrial Science and Technology (AIST), Tomoji KishiWaseda University, Cyrille ArthoKTH Royal Institute of Technology

16:00 - 18:00: CCIW 2020 - National Industry Panel Session at Infante

16:00 - 16:30
Talk

Opening: Action Plan for Digital Transformation. José Carlos Nascimento, Portuguese Secretariat of State for Digital Transition

16:30 - 17:50
Meeting

Panel: Quality Assurance in DevOps

17:50 - 18:00
Talk

Wrap up

16:00 - 17:30: Mutation 2020 - Session IV at Arrábida

16:00 - 16:30
Full-paper

An Approach to Identifying Minimal and Equivalent Mutants Based on Source Code Structure

Vinicius DurelliUniversidade Federal de São João del-Rei, Simone do Rocio Senger de SouzaUniversity of São Paulo - USP, Marcio Eduardo DelamaroUniversidade de São Paulo

16:30 - 17:30
Other

Community Discussion and Wrap-up

16:00 - 17:30: A-MOST - Session IV at Porto

16:00 - 16:30
Full-paper

Model-Based Testing of Read Only Graph Queries

Leen LambersHasso-Plattner-Institut, Universität Potsdam , Sven SchneiderHasso-Plattner-Institut, Universität Potsdam , Marcel WeisgutHasso-Plattner-Institut, Universität Potsdam

16:30 - 17:00
Full-paper

Optimizing decision making in concolic execution using reinforcement learning

Ciprian PaduraruUniversity of Bucharest , Alin StefanescuUniversity of Bucharest , Miruna Gabriela PaduraruUniversity of Bucharest

17:00 - 17:10
Day closing

Closing

16:00 - 17:00: ITEQS 2020 - Session IV at São João

16:00 - 16:50
Meeting

Panel Discussion

16:50 - 17:00
Day opening

Closing

16:00 - 17:30: NEXTA 2020 - Smarter + Closing Session at D. Luis

16:00 - 16:25
Full-paper

On the Industrial Applicability of Augmented Testing: An Empirical Study

Michel NassBlekinge Institute of Technology, Emil AlégrothBlekinge Institute of Technology, Robert FeldtChalmers University of Technology

16:25 - 16:40
Full-paper

Session-Based Recommender Systems for Action Selection in GUI Test Generation

Varun NayakReTest GmbH, Daniel KrausReTest GmbH

16:40 - 16:55
Full-paper

Runtime Prioritization with the Classification Tree Method for Test Automation

Barbara JungExpleo Germany, Peter M. KruseExpleo Group

16:55 - 17:30
Awards

Award Ceremony -- Best Question Award; Most Influential Tweet Award

16:00 - 17:00: IWCT 2020 - Steering and Organizing Committee Meeting Session at Farfetch (D. Maria)

16:00 - 16:30
Meeting

IWCT SC&OC Meeting (Open Format)

16:30 - 17:00
Meeting

IWCT SC&OC Meeting (Private Format)

Tue 24 Mar

09:00 - 09:30: Research Papers - Intro & Welcome at Infante

09:30 - 10:30: Research Papers - Keynote 1: Liana Hadarean - One-click formal methods Infante at Infante

10:30 - 11:00: Catering - Coffee Break

11:00 - 12:30: Industry Track - IT1 - Test Generation & Refactoring at Farfetch (D. Maria)

11:00 - 11:30
Talk

Parallelization of Classical Numerical Optimization in Quantum Variational Algorithms

Marco PistoiaJPMorgan Chase & Co, Peng LiuGoogle, Chun-Fu Richard ChenIBM, Shaohan HuIBM, Stephen WoodIBM

11:30 - 12:00
Talk

Specmate: Automated Creation of Test Cases from Acceptance Criteria

Jannik FischbachQualicen GmbH, Andreas VogelsangTU Berlin, Dominik SpiesQualicen GmbH, Andreas WehrleQualicen GmbH, Maximilian JunkerQualicen GmbH, Dietmar FreudensteinAllianz Deutschland AG

12:00 - 12:30
Talk

Tool Support for Refactoring Manual Tests

Elodie BernardFEMTO-ST Institute, Univ. Bourgogne Franche-Comté, Sogeti, Julien BotellaSmartesting, Fabrice AmbertFEMTO-ST Institute, Bruno LegeardFEMTO-ST / DISC, Mark UttingUniversity of the Sunshine Coast

11:00 - 12:30: Research Papers - RT1 - Fault Localization and Debugging Infante at Infante

11:00 - 11:30
Talk

Can We Predict the Quality of Spectrum-based Fault Localization?

Mojdeh GolaghaTechnical University of Munich, Alexander PretschnerTechnical University of Munich, Lionel BriandUniversity of Luxembourg, University of Ottawa

11:30 - 12:00
Talk

Substate Profiling for Enhanced Fault Detection and Localization: An Empirical Study

Rawad Abou AssiAmerican University of Beirut, Wes MasriAmerican University of Beirut, Chadi TradAmerican University of Beirut

12:00 - 12:30
Talk

More Accurate Dynamic Slicing for Better Supporting Software Debugging

Xiangyu LiGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech

12:30 - 14:00: Catering - Lunch

14:00 - 15:30: Research Papers - RT2 - Test Generation Infante at Infante

14:00 - 14:30
Talk

Language-Agnostic Generation of Compilable Test Programs

Patrick KreutzerFriedrich-Alexander University Erlangen-Nürnberg, Stefan KrausFriedrich-Alexander University Erlangen-Nürnberg, Michael PhilippsenFriedrich-Alexander University Erlangen-Nürnberg (FAU)

14:30 - 15:00
Talk

MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators

Kyle DeweyCalifornia State University, Northridge, Shant HairapetianUniversity of Oregon, Miroslav GavrilovUniversity of California, Santa Barbara

15:00 - 15:30
Talk

Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection

Hussein AlmullaUniversity of South Carolina, Gregory GayChalmers and the University of Gothenburg

Pre-print

14:00 - 15:30: Research Papers - RT3 - Testing Deep Learning and Robotic Systems at Farfetch (D. Maria)

14:00 - 14:30
Talk

An Empirical Evaluation of Mutation Operators for Deep Learning Systems

Gunel JahangirovaUniversità della Svizzera Italiana (USI), Paolo TonellaUniversità della Svizzera Italiana (USI)

Pre-print

14:30 - 15:00
Talk

Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study

Fitash Ul HaqUniversity of Luxembourg, Donghwan ShinKAIST, 291 Daehak-ro Yuseong-gu, Shiva NejatiUniversity of Luxembourg, Lionel BriandUniversity of Luxembourg, University of Ottawa

15:00 - 15:30
Talk

A Study on Challenges of Testing Robotic Systems

Afsoon AfzalCarnegie Mellon University, Claire Le GouesCarnegie Mellon University, Michael HiltonCarnegie Mellon University, USA, Christopher Steven TimperleyCarnegie Mellon University

Pre-print

15:30 - 16:00: Catering - Coffee Break

16:00 - 17:00: Research Papers - RT4 - Misc 1 at Infante

16:00 - 16:30
Talk

Determining Method-Call Sequences for Object Creation in C++

Thomas BachHeidelberg University, Ralf PannemansSAP, Artur AndrzejakHeidelberg University

16:30 - 17:00
Talk

NodeRacer: Event Race Detection for Node.js Applications

André T. EndoFederal University of Technology - Paraná (UTFPR), Anders MøllerAarhus University

Pre-print

16:00 - 18:00: Research Papers - RT5 - Testing for APIs at Farfetch (D. Maria)

16:00 - 16:30
Talk

QuickREST: Property-based Test Generation of OpenAPI Described RESTful APIs

Stefan KarlssonABB AB, Mälardalen University, Adnan CausevicMälardalen University, Daniel SundmarkMälardalen University

Pre-print

16:30 - 17:00
Talk

RESTTESTGEN: Automated Black-Box Testing of RESTful APIs

Emanuele ViglianisiFBK, Michael DallagoUniversity of Trento, Mariano CeccatoUniversity of Verona

17:00 - 17:30
Talk

Testability Transformations For Existing APIs

Andrea ArcuriKristiania University College, Norway, Juan Pablo GaleottiUniversity of Buenos Aires

17:30 - 17:45
Talk

CDST: A Toolkit for Testing Cockpit Display Systems of Avionics

Hassan SartajQUEST - UAV Dependability Lab, Muhammad Zohaib IqbalNational University of Computer and Emerging Sciences, Muhammad Uzair KhanNational University of Computer and Emerging Sciences

17:45 - 18:00
Talk

Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing

Miroslav BuresCzech Technical University in Prague, Pavel HeroutUniversity of West Bohemia, Pilsen, CZ, Bestoun S. AhmedKarlstad University

Pre-print

17:00 - 18:00: Posters Track - Teasers

18:00 - 19:30: Catering - Reception at Alfândega

18:00 - 19:30
Social Event

Reception

Wed 25 Mar

09:00 - 09:30: Research Papers - Most Influential Paper Award at Infante

09:30 - 10:30: Research Papers - Keynote 2 - Elvira Albert - Smart – and also reliable and gas-efficient – Contracts at Infante

10:30 - 11:00: Catering - Coffee Break

11:00 - 12:30: Doctoral Symposium - Doctoral Symposium 1 at São João

11:00 - 11:30
Talk

Panel 1

11:30 - 12:00
Talk

How Can Software Testing be Improved by Analytics to Deliver Better Apps?

Julian HartyCommercetest Ltd

12:00 - 12:30
Talk

Automated verification of compliance of non-functional requirements on mobile applications through metamorphic testing

Misael JúniorUniversity of Sao Paulo (USP)

11:00 - 12:30: Industry Track - IT2 - Misc at Farfetch (D. Maria)

11:00 - 11:30
Talk

EC.Lang - A Language for Specifying Response Time Analyses of Event Chains

Max FrieseChristian-Albrechts-Universität zu Kiel, Johannes TraubDaimler AG, Dirk NowotkaChristian-Albrechts-Universität zu Kiel

11:30 - 12:00
Talk

Detecting Higher-Order Merge Conflicts in Large Software Projects

Thorsten WuenscheSAP SE, Artur AndrzejakHeidelberg University, Sascha SchwedesSAP SE

12:00 - 12:30
Talk

Scaling Test Case Generation For Expressive Decision Tables

Supriya AgrawalTata Consultancy Services Ltd. (TCS), R VenkateshTata Consultancy Services Ltd. (TCS), Ulka ShrotriTata Consultancy Services Ltd. (TCS), Amey ZareTata Consultancy Services Ltd. (TCS), Sagar VermaTata Consultancy Services Ltd. (TCS)

11:00 - 12:30: Research Papers - RT6 - Web Testing at Infante

11:00 - 11:30
Talk

Fostering the Diversity of Exploratory Testing in Web Applications

Julien LeveauLaBRI, Xavier BlancLaBRI, Laurent RéveillèreLaBRI, Jean-Rémy FalleriLaBRI, Romain RouvoyUniv. Lille / Inria / IUF

11:30 - 12:00
Talk

Dependency-Aware Web Test Generation

Matteo BiagiolaFondazione Bruno Kessler (FBK), Andrea StoccoUniversità della Svizzera italiana (USI), Filippo RiccaUniversità di Genova, Paolo TonellaUniversità della Svizzera Italiana (USI)

12:00 - 12:30
Talk

Metamorphic Security Testing for Web Systems

Phu X. MaiUniversity of Luxembourg, Fabrizio PastoreUniversity of Luxembourg, Arda GoknilSnT, University of Luxembourg, Lionel BriandUniversity of Luxembourg, University of Ottawa

12:30 - 14:00: Catering - Lunch

14:00 - 15:30: Doctoral Symposium - Doctoral Symposium 2 at São João

14:00 - 14:30
Talk

Panel 2

14:30 - 15:00
Talk

Well-informed Test Case Generation and Crash Reproduction

Pouria DerakhshanfarDelft University of Technology

15:00 - 15:30
Talk

Anomaly Analyses to Guide Software Testing Activity

Allan MoriUSP/ICMC, Simone do Rocio Senger de SouzaUniversity of São Paulo - USP

14:00 - 15:30: Journal-First Papers - Journal First 1 at Farfetch (D. Maria)

14:00 - 14:30
Talk

Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems

Tao MaSimula Research Laboratory, Shaukat AliSimula Research Laboratory, Tao YueNanjing University of Aeronautics and Astronautics & Simula Research Laboratory

14:30 - 15:00
Talk

Empirical evaluation of mutation‐based test case prioritization techniques

Donghwan ShinKAIST, 291 Daehak-ro Yuseong-gu, Shin YooKorea Advanced Institute of Science and Technology, Mike PapadakisUniversity of Luxembourg, Doo-Hwan BaeKorea Advanced Institute of Science and Technology

15:00 - 15:30
Talk

Are Unit and Integration Test Definitions Still Valid for Modern Java Projects? An Empirical Study on Open-Source Projects

Fabian TrautschUniversity of Göttingen, Steffen HerboldUniversity of Göttingen, Jens GrabowskiUniversity of Göttingen

14:00 - 15:30: Research Papers - RT7 - Optimizing Testing at Infante

14:00 - 14:30
Talk

Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations

Marcio Augusto GuimarãesFederal University of Alagoas (UFAL), Leo FernandesFederal Institute of Alagoas (IFAL), Márcio RibeiroFederal University of Alagoas, Brazil, Marcelo d'AmorimFederal University of Pernambuco, Rohit GheyiFederal University of Campina Grande

14:30 - 15:00
Talk

Massively Parallel, Highly Efficient, but What About the Test Suite Quality? Applying Mutation Testing to GPU Programs

Qianqian ZhuTU Delft, Andy ZaidmanTU Delft

15:00 - 15:30
Talk

STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases

Abdullah AlsharifThe University of Sheffield, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield

15:30 - 16:00: Catering - Coffee Break

16:00 - 17:30: Doctoral Symposium - Doctoral Symposium 3 at São João

16:00 - 16:30
Talk

Panel 3

16:30 - 17:00
Talk

Toward Automated Assessment of User Experience in Extended Reality

Saba Gholizadeh AnsariUtrecht University

17:00 - 17:30
Talk

Source-Codeless Testing for Android Apps

Camilo Escobar-VelásquezUniversidad de los Andes

16:00 - 17:30: Research Papers - RT8 - Misc 2 at Infante

16:00 - 16:30
Talk

Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms

Xin YinNew Jersey Institute of Technology, Iulian NeamtiuNew Jersey Institute of Technology, Saketan PatilNew Jersey Institute of Technology, Sean AndrewsNew Jersey Institute of Technology

16:30 - 17:00
Talk

CBR: Controlled Burst Recording

Oscar CornejoUniversity of Milano Bicocca, Italy, Daniela BriolaUniversity of Milano Bicocca, Daniela MicucciUniversity of Milano Bicocca, Leonardo MarianiUniversity of Milano Bicocca

17:00 - 17:30
Talk

Mahtab: Phase-wise acceleration of regression testing for C

Shouvick MondalIIT Madras, India, Rupesh NasreIIT Madras, India

DOI Media Attached

16:00 - 17:30: Research Papers - RT9 - Empirical Analysis and Program Repair at Farfetch (D. Maria)

16:00 - 16:30
Talk

An Empirical Analysis of Blind Tests

Kesina BaralGeorge Mason University, Jeff OffuttGeorge Mason University

16:30 - 17:00
Talk

A Family of Experiments to Assess the Impact of the PO Pattern in Web Test Suite Development

Maurizio LeottaUniversità di Genova, Matteo BiagiolaFondazione Bruno Kessler (FBK), Filippo RiccaUniversità di Genova, Mariano CeccatoUniversity of Verona, Paolo TonellaUniversità della Svizzera Italiana (USI)

17:00 - 17:30
Talk

Human-In-The-Loop Automatic Program Repair

Marcel BöhmeMonash University, Charaka GeethalMonash University, Van-Thuan PhamMonash University

Link to publication Pre-print

19:00 - 22:00: Catering - Banquet at Palácio da Bolsa

19:00 - 22:00
Social Event

Banquet

Thu 26 Mar

09:30 - 10:30: Research Papers - Keynote 3 - Franjo Ivancic - SunDew: Systematic Automated Security Testing at Infante

10:30 - 11:00: Catering - Coffee Break

11:00 - 12:00: Research Papers - RT10 - Misc 3 at Infante

11:00 - 11:30
Talk

A Framework for In-Vivo Testing of Mobile Applications

Mariano CeccatoUniversity of Verona, Davide CorradiniFondazione Bruno Kessler, Luca Gazzola Università degli Studi di Milano-Bicocca, Fitsum KifetewFondazione Bruno Kessler, Leonardo MarianiUniversity of Milano Bicocca, Matteo OrruUniversity of Milano Bicocca, Paolo TonellaUniversità della Svizzera Italiana (USI)

11:30 - 12:00
Talk

Prioritizing Runtime Verification Violations

Breno MirandaFederal University of Pernambuco, Igor LimaFederal University of Pernambuco, Owolabi LegunsenUniversity of Illinois at Urbana-Champaign, Marcelo d'AmorimFederal University of Pernambuco

11:00 - 12:00: Tool Demos Track - Tool Demos at Farfetch (D. Maria)

11:00 - 11:12
Talk

Cerberus: an Automated Tool for Continuous Testing

Antoine CraskeLa Redoute

11:12 - 11:24
Talk

ICST’2020 Tool Demonstration of EvoMaster: Search-Based System Test Generation for RESTful APIs

Andrea ArcuriKristiania University College, Norway, Juan Pablo GaleottiUniversity of Buenos Aires, Bogdan MarculescuKristiania University College, Norway, Man ZhangKristiania University College, Norway

11:24 - 11:36
Talk

Quick and Precise Security Testing During Development with Intelligence-Directed DAST

Takuya IwatsukaNTT, Haruto TannoNTT, Eric SharidanWhiteHat Security, Joseph FeimanWhiteHat Security

11:36 - 11:48
Talk

Self guided test Automation – Adaptive and Self Healing automation of Cloud native applications

Mahesh VenkataramanAccenture Solutions, Chinmaya JenaAccenture Solutions, Sunder NochilurAccenture Solutions, Prabir Ghoushal KumarAccenture Solutions

11:48 - 12:00
Talk

User-Friendly Input Assistance with Web Crawling for Test Script Generation

Yu YoshimuraNTT, Yu AdachiNTT, Hiroyuki KirinukiNTT, Toshiyuki KurabayashiNTT, Haruto TannoNTT

12:00 - 13:00: Industry Track - IT3 - Safety & Security at Farfetch (D. Maria)

12:00 - 13:00: Testing Tools Track - Testing tools at Infante

12:00 - 12:15
Talk

Callisto: Entropy based test generation and data quality assessment for Machine Learning Systems

Sakshi Udeshi, Xingbin JiangSingapore University of Technology and Design, Sudipta ChattopadhyaySingapore University of Technology and Design

12:15 - 12:30
Talk

Run Java Applications and Test Them In-Vivo Meantime

Antonia BertolinoCNR-ISTI, Guglielmo De AngelisCNR-IASI, CNR-ISTI, Breno MirandaFederal University of Pernambuco, Paolo TonellaUniversità della Svizzera Italiana (USI)

12:30 - 12:45
Talk

AFLNet: A Greybox Fuzzer for Network Protocols

Van-Thuan PhamMonash University, Marcel BoehmeMonash University, Abhik RoychoudhuryNational University of Singapore

12:45 - 13:00
Talk

ct-fuzz: Fuzzing for Timing Leaks

Shaobo HeUniversity of Utah, Michael EmmiSRI International, Gabriela CiocarlieSRI International

12:30 - 14:00: Catering - Lunch

15:30 - 16:00: Catering - Coffee Break

Fri 27 Mar

09:00 - 10:30: ToCaMS 2020 - Session I at Miragaia

09:00 - 09:15
Talk

Welcome Session

09:15 - 10:00
Talk

Keynote

10:00 - 10:30
Social Event

World Cafe

09:00 - 10:30: InSTA - Session I at Farfetch (D. Maria)

09:00 - 09:10
Day opening

Welcome

09:10 - 10:30
Talk

Keynote (Peter Zimmerer, Siemens)

09:00 - 10:30: INTUITESTBEDS 2020 - Session I at São João

09:00 - 10:00
Talk

Testing software: Challenges and hardships of non-traditional testers

Sandeep KuttalThe University of Tulsa

10:00 - 10:30
Full-paper

An Automated Testing Framework For Smart TV apps Based on Model Separation

Bestoun S. AhmedKarlstad University, Angelo GargantiniUniversity of Bergamo, Miroslav BuresCzech Technical University in Prague

Pre-print

09:00 - 10:30: TestEd 2020 - Session I at Arrábida

09:00 - 09:30
Talk

Teaching a Testing Concept (JUnit) with Active Learning. Paul Ammann and Kesina Baral

09:30 - 10:00
Talk

Teaching Software Testing with Free and Open Source Software. Lin Deng, Josh Dehlinger, and Suranjan Chakraborty

10:00 - 10:30
Talk

Teaching Software Testing in an Algorithms and Data Structures Course. Andrea Arcuri

10:30 - 11:00: Catering - Coffee Break

11:00 - 12:30: ToCaMS 2020 - Session II at Miragaia

11:00 - 11:30
Full-paper

Towards a Deep Learning Model for Vulnerability Detection on Web Application Variants

11:30 - 12:00
Full-paper

Regression Test Suite Reduction for Cloud Systems

Mohamed Aymen SaiedConcordia University, Ferhat Khendek Concordia University

12:00 - 12:30
Full-paper

Test Design with the Classification Tree Method in Presence of Variants

Peter M. KruseExpleo Group

11:00 - 12:30: INTUITESTBEDS 2020 - Session II at São João

11:00 - 11:30
Full-paper

Translation from Visual to Layout-based Android Test Cases: a Proof of Concept

Riccardo CoppolaPolitecnico di Torino, Luca Ardito, Marco TorchianoPolitecnico di Torino, Emil AlégrothBlekinge Institute of Technology

11:30 - 12:00
Full-paper

Supporting efficient test automation using lightweight MBT

Elodie BernardFEMTO-ST Institute, Univ. Bourgogne Franche-Comté, Sogeti, Fabrice AmbertFEMTO-ST Institute, Bruno LegeardFEMTO-ST / DISC

12:00 - 12:30
Full-paper

Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets

11:00 - 12:30: InSTA - Session II at Farfetch (D. Maria)

11:00 - 11:30
Full-paper

Identifying Software Test Architect Skills and Knowledge

11:30 - 12:00
Full-paper

Selenium based Testing Systems for Analytical Data Generation of Website User Behavior

12:00 - 12:30
Full-paper

Automated security testing of Android applications for secure mobile development

11:00 - 12:30: TestEd 2020 - Session II at Arrábida

11:00 - 11:30
Talk

How to Teach Software Testing: Experiences with a Sandwich Approach. Leen Lambers

11:30 - 12:00
Talk

A Case-based Approach for introducing Testing Tools and Principles. Frederic Dadeau, Jean-Philippe Gros, and Fabien Peureux

12:00 - 12:30
Talk

Can Learning Formal Specification Be Fun? – Experience and Perspective. Wishnu Prasetya, Craig Leek, Roan Oosenbrug, Petar Kostic, and Mike de Vries

12:30 - 14:00: Catering - Lunch

14:00 - 15:30: InSTA - Session III at Farfetch (D. Maria)

14:00 - 14:30
Full-paper

Techniques to Reach Common Ground about Test Aspect within a Test Team

14:30 - 15:00
Full-paper

An Integrated Metamodel of Test Scenario to Conform Automotive Standards

15:00 - 15:30
Full-paper

Software Testing Analysis for Complex Software by International Standards

14:00 - 15:30: TestEd 2020 - Session III at Arrábida

14:00 - 14:30
Talk

Integrating Testing Throughout the CS Curriculum. Sarah Heckman, Jessica Young Schmidt, and Jason King

14:30 - 15:00
Talk

A Preliminary Report on Hands-On and Cross-Course Activities in a College Software Testing Course. Upsorn Praphamontripong, Mark Floryan, and Ryan Ritzo

15:00 - 15:30
Talk

Incorporating Testing Topics in an Object-Oriented Programming Course. Rowland Pitts

14:00 - 15:30: INTUITESTBEDS 2020 - Tool Demos Session at São João

14:00 - 14:30
Demonstration

A Tool for Testing Event-Driven Programs in Processing

Hiroshi HosobeHosei University

14:30 - 15:00
Demonstration

Augmented Testing using Scout

Emil AlégrothBlekinge Institute of Technology, Robert FeldtChalmers University of Technology

15:00 - 15:30
Demonstration

Sequence Mining for Automatic Generation of Software Tests from GUI event traces

Ana PaivaFaculty of Engineering of the University of Porto

15:30 - 16:00: Catering - Coffee Break

16:00 - 17:10: InSTA - Session IV at Farfetch (D. Maria)

16:00 - 17:00
Meeting

Discussion: Role of Software Test Architect

17:00 - 17:10
Day opening

Wrap up

16:00 - 17:30: TestEd 2020 - Session IV at Arrábida

16:00 - 16:25
Talk

Towards a Learning Environment for Internet of Things Testing with LEGO® MINDSTORMS®. Thomas Auer and Michael Felderer

16:25 - 16:50
Talk

Teaching Software Testing with the Code Defenders Testing Game: Experiences and Improvements. Gordon Fraser, Alessio Gambi, and José Miguel Rojas

16:50 - 17:25
Talk

Panel discussion: Teaching testing in non-testing courses

17:25 - 17:30
Talk

Wrap-up

This program is tentative and subject to change.

Mon 23 Mar 2020


Room	9:00		30	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30	17:00	30	18:00	30
Arrábida	Mutation Session I 09:00 - 10:30					Mutation Session II 11:00 - 12:30						Mutation Session III 14:00 - 15:30				Mutation Session IV 16:00 - 17:30
D. Luis	NEXTA Opening Session 09:00 - 10:30					NEXTA Improving Session 11:00 - 12:30						NEXTA Optimising Session 14:00 - 15:30				NEXTA Smarter + Closing Session 16:00 - 17:30
Farfetch (D. Maria)	IWCT Opening Session 09:00 - 10:30					IWCT Test Generation and Combinatorial Testing Applications Session 11:00 - 12:30						IWCT Combinatorial Testing Tools Session 14:00 - 15:30			IWCT Poster Presentation Session 15:30 - 16:00	IWCT Steering and Organizing Committee Meeting Session 16:00 - 17:00
Infante	CCIW Metrics and Ecosystem Session 09:00 - 10:30					CCIW Culprit Finding Session 11:00 - 12:30						CCIW Flaky Tests Session 14:00 - 15:30				CCIW National Industry Panel Session 16:00 - 18:00
Miragaia	TAIC PART Session I 09:00 - 10:30					TAIC PART Session II 11:00 - 12:30
Porto	A-MOST Session I 09:00 - 10:30					A-MOST Session II 11:00 - 12:30						A-MOST Session III 14:00 - 15:30				A-MOST Session IV 16:00 - 17:30
São João		ITEQS Session I 09:15 - 10:30				ITEQS Session II 11:00 - 12:30						ITEQS Session III 14:00 - 15:30				ITEQS Session IV 16:00 - 17:00

Tue 24 Mar 2020


Room	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00		30	15:00	30	16:00	30	17:00	30	18:00	30	19:00	30
Alfândega												ICST Catering Reception 18:00 - 19:30
Farfetch (D. Maria)					ICST Industry Track IT1 - Test Generation & Refactoring 11:00 - 12:30						ICST Research Papers RT3 - Testing Deep Learning and Robotic Systems 14:00 - 15:30					ICST Research Papers RT5 - Testing for APIs 16:00 - 18:00
Infante	ICST Research Papers Intro & Welcome 09:00 - 09:30	ICST Research Papers Keynote 1: Liana Hadarean - One-click formal methods Infante 09:30 - 10:30			ICST Research Papers RT1 - Fault Localization and Debugging Infante 11:00 - 12:30						ICST Research Papers RT2 - Test Generation Infante 14:00 - 15:30					ICST Research Papers RT4 - Misc 1 16:00 - 17:00

Wed 25 Mar 2020


Room	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00		30	15:00	30	16:00	30	17:00	30	18:00	30	19:00	30	20:00	30	21:00	30	22:00	30
Farfetch (D. Maria)					ICST Industry Track IT2 - Misc 11:00 - 12:30						ICST Journal-First Papers Journal First 1 14:00 - 15:30					ICST Research Papers RT9 - Empirical Analysis and Program Repair 16:00 - 17:30
Infante	ICST Research Papers Most Influential Paper Award 09:00 - 09:30	ICST Research Papers Keynote 2 - Elvira Albert - Smart – and also reliable and gas-efficient – Contracts 09:30 - 10:30			ICST Research Papers RT6 - Web Testing 11:00 - 12:30						ICST Research Papers RT7 - Optimizing Testing 14:00 - 15:30					ICST Research Papers RT8 - Misc 2 16:00 - 17:30
Palácio da Bolsa												ICST Catering Banquet 19:00 - 22:00
São João					ICST Doctoral Symposium Doctoral Symposium 1 11:00 - 12:30						ICST Doctoral Symposium Doctoral Symposium 2 14:00 - 15:30					ICST Doctoral Symposium Doctoral Symposium 3 16:00 - 17:30

Thu 26 Mar 2020


Room	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30
Farfetch (D. Maria)					ICST Tool Demos Track Tool Demos 11:00 - 12:00		ICST Industry Track IT3 - Safety & Security 12:00 - 13:00
Infante		ICST Research Papers Keynote 3 - Franjo Ivancic - SunDew: Systematic Automated Security Testing 09:30 - 10:30			ICST Research Papers RT10 - Misc 3 11:00 - 12:00		ICST Testing Tools Track Testing tools 12:00 - 13:00

Fri 27 Mar 2020


Room	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30	17:00	30
Arrábida	TestEd TestEd Session I TestEd Session II TestEd Session III TestEd Session IV 09:00 - 17:30
Farfetch (D. Maria)	InSTA Session I 09:00 - 10:30				InSTA Session II 11:00 - 12:30						InSTA Session III 14:00 - 15:30				InSTA Session IV 16:00 - 17:10
Miragaia	ToCaMS Session I 09:00 - 10:30				ToCaMS Session II 11:00 - 12:30
São João	INTUITESTBEDS Session I 09:00 - 10:30				INTUITESTBEDS Session II 11:00 - 12:30						INTUITESTBEDS Tool Demos Session 14:00 - 15:30				INTUITESTBEDS 16:00 - 17:30

This program is tentative and subject to change.

Mon 23 Mar 2020


Room	9:00		15	30		45	10:00			15	30	45	11:00		15			30		45		12:00		15	30	45	13:00	15	30	45	14:00		15		30	45		15:00		15	30	45	16:00		15		30		45		17:00	15	30	45		18:00	15	30	45
Arrábida	Mutation Opening 09:00 - 10:00						Mutation Keynote 10:00 - 10:30						Mutation On the impact of timeouts and JVM crashes in Pitest 11:00 - 11:30					Mutation Using mutation testing to measure behavioural test diversity 11:30 - 12:00				Mutation SiMut: Exploring Program Similarity to Support the Cost Reduction of Mu ... 12:00 - 12:30									Mutation Predicting Survived and Killed Mutants 14:00 - 14:30				Mutation Fault Types of Adaptive and Context-Aware Systems and Their Relationshi ... 14:30 - 15:00			Mutation MutantDistiller: Using Symbolic Execution for Automatic Detection of Eq ... 15:00 - 15:30					Mutation An Approach to Identifying Minimal and Equivalent Mutants Based on Sour ... 16:00 - 16:30				Mutation Community Discussion and Wrap-up 16:30 - 17:30
D. Luis	NEXTA Welcome 09:00 - 09:15		NEXTA Opening Keynote (To be confirmed) 09:15 - 10:30										NEXTA Test Automation Process Improvement in a DevOps Team: Experience report 11:00 - 11:25				NEXTA Selective Regression Testing based on Big Data: Comparing Feature Extra ... 11:25 - 11:50				NEXTA Test Automation Challenges for Application Landscape Frameworks 11:50 - 12:05		NEXTA Test Automation Improvement Model - TAIM 2.0 12:05 - 12:30								NEXTA Optimizing the Parameters of an Evolutionary Algorithm for Fuzzing and ... 14:00 - 14:25			NEXTA Boundary Value Exploration for Software Analysis 14:25 - 14:50			NEXTA Test Data Generation for MC/DC Criterion using Reinforcement Learning 14:50 - 15:05		NEXTA Optimization of automated executions based on integration test configur ... 15:05 - 15:30				NEXTA On the Industrial Applicability of Augmented Testing: An Empirical Study 16:00 - 16:25			NEXTA Session-Based Recommender Systems for Action Selection in GUI Test Gene ... 16:25 - 16:40		NEXTA Runtime Prioritization with the Classification Tree Method for Test Aut ... 16:40 - 16:55		NEXTA Award Ceremony -- Best Question Award; Most Influential Tweet Award 16:55 - 17:30
Farfetch (D. Maria)			IWCT Welcome to IWCT 09:15 - 09:30	IWCT Keynote 09:30 - 10:30									IWCT An Automata-Based Generation Method for Combinatorial Sequence Testing ... 11:00 - 11:30					IWCT Combinatorial Methods for Explainable AI 11:30 - 12:00				IWCT Generation of Invalid Test Inputs from Over-Constrained Test Models for ... 12:00 - 12:15		IWCT On Using Ontologies for Testing Compilers 12:15 - 12:30							IWCT A Comparison Infrastructure for FaultCharacterization Algorithms 14:00 - 14:30				IWCT Avocado: Open-Source Flexible Constrained Interaction Testing for Pract ... 14:30 - 15:00			IWCT CAGEN: A fast combinatorial test generation tool with support for const ... 15:00 - 15:30			IWCT Toward encoding approach to Interaction-based Test Suite Minimization 15:30 - 16:00		IWCT IWCT SC&OC Meeting (Open Format) 16:00 - 16:30				IWCT IWCT SC&OC Meeting (Private Format) 16:30 - 17:00
Infante	CCIW The quest for actionable CI metrics 09:00 - 09:30			CCIW Continuous Data Analysis for CI 09:30 - 10:00			CCIW Interoperability Challenges in CI/CD Ecosystem 10:00 - 10:30						CCIW Escalating CI/CD for Growing Companies: The Pipelines 2.0 Project 11:00 - 11:30					CCIW Athena: Keeping the build stable automatically 11:30 - 12:00				CCIW Culprit Finder: Tinderbox Build Breakage Triaging Tool 12:00 - 12:30									CCIW Test flakiness reduction of retry reduction? Why not have both? 14:00 - 14:45					CCIW Coping with Flaky Tests 14:45 - 15:30							CCIW Opening: Action Plan for Digital Transformation. José Carlos Nascimento ... 16:00 - 16:30				CCIW Panel: Quality Assurance in DevOps 16:30 - 17:50								CCIW Wrap up 17:50 - 18:00
Miragaia	TAIC PART Opening 09:00 - 09:10	TAIC PART Coding Effective Testing Tools Within Minutes – Live! 09:10 - 10:10							TAIC PART On Using k-means Clustering for Test Suite Reduction. Nour Chetouane, F ... 10:10 - 10:30				TAIC PART Prioritization of Test Cases with Varying Test Costs and Fault Severiti ... 11:00 - 11:22			TAIC PART Test Tools: an illusion of usability? Isabel Evans, Chris Porter, Mark ... 11:22 - 11:45				TAIC PART Towards a unified catalog of attributes to guide industry in software t ... 11:45 - 12:07			TAIC PART Fast Abstract: Data Dynamics for Testing Systems 12:07 - 12:30
Porto	A-MOST Opening 09:00 - 09:10	A-MOST Keynote: Why models? 09:10 - 10:30											A-MOST A Tool for the Automatic Generation of Test Cases and Oracles for Simul ... 11:00 - 11:30					A-MOST A Model-Based Security Testing Approach for Automotive Over-The-Air Updates 11:30 - 12:00				A-MOST Ontology-based Testing: An Emerging Paradigm for Modeling and Testing S ... 12:00 - 12:30									A-MOST Using tabular notation to support Model Based Testing 14:00 - 14:30				A-MOST Model-Based Testing for MAPE-K adaptation control loops 14:30 - 15:00			A-MOST Conformance Testing in UPPAAL: A diabolic approach 15:00 - 15:30					A-MOST Model-Based Testing of Read Only Graph Queries 16:00 - 16:30				A-MOST Optimizing decision making in concolic execution using reinforcement le ... 16:30 - 17:00				A-MOST Closing 17:00 - 17:10
São João			ITEQS Welcome and opening message 09:15 - 09:30		ITEQS Automatic exploratory performance testing using a discriminator neural ... 09:40 - 10:05			ITEQS Performance Evaluation of Container Share Volumes 10:00 - 10:30						ITEQS Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking 11:00 - 11:30					ITEQS Generating Tests for the Discovery of Security Flaws in Product Variants 11:30 - 12:00				ITEQS Test Data Generation for False Data Injection Attack Testing in Air Tra ... 12:00 - 12:30									ITEQS Security Testing using Artificial Intelligence Methods and Techniques 14:00 - 15:00							ITEQS Keywords-based test categorization for Extra-Functional Properties 15:00 - 15:30					ITEQS Panel Discussion 16:00 - 16:50						ITEQS Closing 16:50 - 17:00

Tue 24 Mar 2020


Room	11:00	15	30	45	12:00	15	30	45	13:00	15	30	45	14:00	15	30	45	15:00	15	30	45	16:00	15		30	45	17:00	15	30	45	18:00	15	30	45	19:00	15	30	45
Alfândega																							ICST Catering Reception 18:00 - 19:30
Farfetch (D. Maria)	ICST Industry Track Parallelization of Classical Numerical Optimization in Quantum Variatio ... 11:00 - 11:30		ICST Industry Track Specmate: Automated Creation of Test Cases from Acceptance Criteria 11:30 - 12:00		ICST Industry Track Tool Support for Refactoring Manual Tests 12:00 - 12:30								ICST Research Papers An Empirical Evaluation of Mutation Operators for Deep Learning Systems 14:00 - 14:30		ICST Research Papers Comparing Offline and Online Testing of Deep Neural Networks: An Autono ... 14:30 - 15:00		ICST Research Papers A Study on Challenges of Testing Robotic Systems 15:00 - 15:30				ICST Research Papers QuickREST: Property-based Test Generation of OpenAPI Described RESTful APIs 16:00 - 16:30			ICST Research Papers RESTTESTGEN: Automated Black-Box Testing of RESTful APIs 16:30 - 17:00		ICST Research Papers Testability Transformations For Existing APIs 17:00 - 17:30		ICST Testing Tools Track CDST: A Toolkit for Testing Cockpit Display Systems of Avionics 17:30 - 17:45	ICST Testing Tools Track Open-source Defect Injection Benchmark Testbed for the Evaluation of Te ... 17:45 - 18:00
Infante	ICST Research Papers Can We Predict the Quality of Spectrum-based Fault Localization? 11:00 - 11:30		ICST Research Papers Substate Profiling for Enhanced Fault Detection and Localization: An Em ... 11:30 - 12:00		ICST Research Papers More Accurate Dynamic Slicing for Better Supporting Software Debugging 12:00 - 12:30								ICST Research Papers Language-Agnostic Generation of Compilable Test Programs 14:00 - 14:30		ICST Research Papers MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators 14:30 - 15:00		ICST Research Papers Learning How to Search: Generating Exception-Triggering Tests Through A ... 15:00 - 15:30				ICST Research Papers Determining Method-Call Sequences for Object Creation in C++ 16:00 - 16:30			ICST Research Papers NodeRacer: Event Race Detection for Node.js Applications 16:30 - 17:00

Wed 25 Mar 2020


Room	11:00	15	30	45	12:00	15	30	45	13:00	15	30	45	14:00	15	30	45	15:00	15	30	45	16:00	15		30	45	17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45	22:00	15	30	45
Farfetch (D. Maria)	ICST Industry Track EC.Lang - A Language for Specifying Response Time Analyses of Event Chains 11:00 - 11:30		ICST Industry Track Detecting Higher-Order Merge Conflicts in Large Software Projects 11:30 - 12:00		ICST Industry Track Scaling Test Case Generation For Expressive Decision Tables 12:00 - 12:30								ICST Journal-First Papers Modeling Foundations for Executable Model-Based Testing of Self-Healing ... 14:00 - 14:30		ICST Journal-First Papers Empirical evaluation of mutation‐based test case prioritization techniques 14:30 - 15:00		ICST Journal-First Papers Are Unit and Integration Test Definitions Still Valid for Modern Java P ... 15:00 - 15:30				ICST Research Papers An Empirical Analysis of Blind Tests 16:00 - 16:30			ICST Research Papers A Family of Experiments to Assess the Impact of the PO Pattern in Web T ... 16:30 - 17:00		ICST Research Papers Human-In-The-Loop Automatic Program Repair 17:00 - 17:30
Infante	ICST Research Papers Fostering the Diversity of Exploratory Testing in Web Applications 11:00 - 11:30		ICST Research Papers Dependency-Aware Web Test Generation 11:30 - 12:00		ICST Research Papers Metamorphic Security Testing for Web Systems 12:00 - 12:30								ICST Research Papers Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption R ... 14:00 - 14:30		ICST Research Papers Massively Parallel, Highly Efficient, but What About the Test Suite Qua ... 14:30 - 15:00		ICST Research Papers STICCER: Fast and Effective Database Test Suite Reduction Through Mergi ... 15:00 - 15:30				ICST Research Papers Implementation-induced Inconsistency and Nondeterminism in Deterministi ... 16:00 - 16:30			ICST Research Papers CBR: Controlled Burst Recording 16:30 - 17:00		ICST Journal-First Papers Mahtab: Phase-wise acceleration of regression testing for C 17:00 - 17:30
Palácio da Bolsa																							ICST Catering Banquet 19:00 - 22:00
São João	ICST Doctoral Symposium Panel 1 11:00 - 11:30		ICST Doctoral Symposium How Can Software Testing be Improved by Analytics to Deliver Better Apps? 11:30 - 12:00		ICST Doctoral Symposium Automated verification of compliance of non-functional requirements on ... 12:00 - 12:30								ICST Doctoral Symposium Panel 2 14:00 - 14:30		ICST Doctoral Symposium Well-informed Test Case Generation and Crash Reproduction 14:30 - 15:00		ICST Doctoral Symposium Anomaly Analyses to Guide Software Testing Activity 15:00 - 15:30				ICST Doctoral Symposium Panel 3 16:00 - 16:30			ICST Doctoral Symposium Toward Automated Assessment of User Experience in Extended Reality 16:30 - 17:00		ICST Doctoral Symposium Source-Codeless Testing for Android Apps 17:00 - 17:30

Thu 26 Mar 2020


Room	11:00		15		30		45		12:00	15	30	45	13:00	15	30	45
Farfetch (D. Maria)	ICST Tool Demos Track Cerberus: an Automated Tool for Continuous Testing 11:00 - 11:12	ICST Tool Demos Track ICST’2020 Tool Demonstration of EvoMaster: Search-Based System Test Gen ... 11:12 - 11:24		ICST Tool Demos Track Quick and Precise Security Testing During Development with Intelligence ... 11:24 - 11:36		ICST Tool Demos Track Self guided test Automation – Adaptive and Self Healing automation of C ... 11:36 - 11:48		ICST Tool Demos Track User-Friendly Input Assistance with Web Crawling for Test Script Generation 11:48 - 12:00
Infante	ICST Research Papers A Framework for In-Vivo Testing of Mobile Applications 11:00 - 11:30				ICST Research Papers Prioritizing Runtime Verification Violations 11:30 - 12:00				ICST Testing Tools Track Callisto: Entropy based test generation and data quality assessment for ... 12:00 - 12:15	ICST Testing Tools Track Run Java Applications and Test Them In-Vivo Meantime 12:15 - 12:30	ICST Testing Tools Track AFLNet: A Greybox Fuzzer for Network Protocols 12:30 - 12:45	ICST Testing Tools Track ct-fuzz: Fuzzing for Timing Leaks 12:45 - 13:00

Fri 27 Mar 2020


Room	9:00		15	30	45	10:00	15	30	45	11:00	15	30	45	12:00	15	30	45	13:00	15	30	45	14:00	15	30	45	15:00	15	30	45	16:00	15		30	45		17:00	15		30	45
Arrábida	TestEd Teaching a Testing Concept (JUnit) with Active Learning. Paul Ammann an ... 09:00 - 09:30			TestEd Teaching Software Testing with Free and Open Source Software. Lin Deng, ... 09:30 - 10:00		TestEd Teaching Software Testing in an Algorithms and Data Structures Course. ... 10:00 - 10:30				TestEd How to Teach Software Testing: Experiences with a Sandwich Approach. Le ... 11:00 - 11:30		TestEd A Case-based Approach for introducing Testing Tools and Principles. Fre ... 11:30 - 12:00		TestEd Can Learning Formal Specification Be Fun? – Experience and Perspective. ... 12:00 - 12:30								TestEd Integrating Testing Throughout the CS Curriculum. Sarah Heckman, Jessic ... 14:00 - 14:30		TestEd A Preliminary Report on Hands-On and Cross-Course Activities in a Colle ... 14:30 - 15:00		TestEd Incorporating Testing Topics in an Object-Oriented Programming Course. ... 15:00 - 15:30				TestEd Towards a Learning Environment for Internet of Things Testing with LEGO ... 16:00 - 16:25		TestEd Teaching Software Testing with the Code Defenders Testing Game: Experie ... 16:25 - 16:50			TestEd Panel discussion: Teaching testing in non-testing courses 16:50 - 17:25			TestEd Wrap-up 17:25 - 17:30
Farfetch (D. Maria)	InSTA Welcome 09:00 - 09:10	InSTA Keynote (Peter Zimmerer, Siemens) 09:10 - 10:30								InSTA Identifying Software Test Architect Skills and Knowledge 11:00 - 11:30		InSTA Selenium based Testing Systems for Analytical Data Generation of Websit ... 11:30 - 12:00		InSTA Automated security testing of Android applications for secure mobile de ... 12:00 - 12:30								InSTA Techniques to Reach Common Ground about Test Aspect within a Test Team 14:00 - 14:30		InSTA An Integrated Metamodel of Test Scenario to Conform Automotive Standards 14:30 - 15:00		InSTA Software Testing Analysis for Complex Software by International Standards 15:00 - 15:30				InSTA Discussion: Role of Software Test Architect 16:00 - 17:00						InSTA Wrap up 17:00 - 17:10
Miragaia	ToCaMS Welcome Session 09:00 - 09:15		ToCaMS Keynote 09:15 - 10:00			ToCaMS World Cafe 10:00 - 10:30				ToCaMS Towards a Deep Learning Model for Vulnerability Detection on Web Applic ... 11:00 - 11:30		ToCaMS Regression Test Suite Reduction for Cloud Systems 11:30 - 12:00		ToCaMS Test Design with the Classification Tree Method in Presence of Variants 12:00 - 12:30
São João	INTUITESTBEDS Testing software: Challenges and hardships of non-traditional testers 09:00 - 10:00					INTUITESTBEDS An Automated Testing Framework For Smart TV apps Based on Model Separation 10:00 - 10:30				INTUITESTBEDS Translation from Visual to Layout-based Android Test Cases: a Proof of ... 11:00 - 11:30		INTUITESTBEDS Supporting efficient test automation using lightweight MBT 11:30 - 12:00		INTUITESTBEDS Model-Based Testing of GUI Applications Featuring Dynamic Instanciation ... 12:00 - 12:30								INTUITESTBEDS A Tool for Testing Event-Driven Programs in Processing 14:00 - 14:30		INTUITESTBEDS Augmented Testing using Scout 14:30 - 15:00		INTUITESTBEDS Sequence Mining for Automatic Generation of Software Tests from GUI eve ... 15:00 - 15:30

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

ICST 2020 Program

This program is tentative and subject to change.

Mon 23 Mar

Tue 24 Mar

Wed 25 Mar

Thu 26 Mar

Fri 27 Mar

This program is tentative and subject to change.

Mon 23 Mar 2020

Mutation

Mutation

Mutation

Mutation

NEXTA

NEXTA

NEXTA

NEXTA

IWCT

IWCT

IWCT

IWCT

IWCT

CCIW

CCIW

CCIW

CCIW

TAIC PART

TAIC PART

A-MOST

A-MOST

A-MOST

A-MOST

ITEQS

ITEQS

ITEQS

ITEQS

Tue 24 Mar 2020

ICST Catering

ICST Industry Track

ICST Research Papers

ICST Research Papers

ICST Research Papers

ICST Research Papers

ICST Research Papers

ICST Research Papers

ICST Research Papers

Wed 25 Mar 2020

ICST Industry Track

ICST Journal-First Papers

ICST Research Papers

ICST Research Papers

ICST Research Papers

ICST Research Papers

ICST Research Papers

ICST Research Papers

ICST Catering

ICST Doctoral Symposium

ICST Doctoral Symposium

ICST Doctoral Symposium

Thu 26 Mar 2020

ICST Tool Demos Track

ICST Industry Track

ICST Research Papers

ICST Research Papers

ICST Testing Tools Track

Fri 27 Mar 2020

TestEd

TestEd

TestEd

TestEd

TestEd

InSTA

InSTA

InSTA

InSTA

ToCaMS

ToCaMS

INTUITESTBEDS

INTUITESTBEDS

INTUITESTBEDS