Write a Blog >>
ICST 2022
Mon 4 - Fri 8 April 2022
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 4 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:50 - 08:55
ITEQS OpeningITEQS at Marlyn Meltzer
Chair(s): Eduard Paul Enoiu Mälardalen University, Mehrdad Saadatmand RISE Research Institutes of Sweden, Dragos Truscan Åbo Akademi University
08:50
5m
Day opening
Welcome and Opening Message
ITEQS

09:00 - 09:10
IWCT OpeningIWCT at Grace Hopper
09:00
10m
Day opening
Opening
IWCT

09:00 - 09:05
AIST OpeningAIST at Margaret Hamilton
Chair(s): Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC
09:00
5m
Day opening
Welcome
AIST

09:05 - 10:05
AIST KeynoteAIST at Margaret Hamilton
Chair(s): Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC
09:05
60m
Keynote
Sequence to sequence learning for software testing
AIST
Martin Monperrus KTH Royal Institute of Technology
09:10 - 10:10
IWCT KeynoteIWCT at Grace Hopper
09:10
60m
Keynote
On the Challenges of Building and Evaluating Test Generators
IWCT
Gordon Fraser University of Passau
09:40 - 10:00
09:40
20m
Talk
RQCODE – Towards Object-Oriented Requirements in the Software Security Domain
ITEQS
Ildar Nigmatullin IRIT - University of Toulouse, Andrey Sadovykh Softeam, Nan Messe IRIT - University of Toulouse, Sophie Ebersold University of Toulouse & IRIT, Jean-Michel Bruel Université de Toulouse, France
10:05 - 10:25
AIST IAIST at Margaret Hamilton
Chair(s): Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC
10:05
20m
Talk
A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing
AIST
Miguel Trinca INESC-ID & Instituto Superior Técnico, University of Lisbon, João F. Ferreira INESC-ID and IST, University of Lisbon, Rui Abreu Faculty of Engineering, University of Porto, Portugal
10:10 - 11:10
10:10
20m
Talk
Towards improving explainability, resilience and performance of cybersecurity analysis of 5G/IoT networks
ITEQS
Manh-Dung Nguyen Montimage R&D, France, Vinh Hoa La Montimage, Ana R. Cavalli Montimage, Edgardo Montes de Oca Montimage
10:30
20m
Talk
Prioritized Variable-length Test Cases Generation for Finite State Machines
ITEQS
Vaclav Rechtberger Czech Technical University in Prague, Miroslav Bures Czech Technical University, Czechia, Bestoun S. Ahmed Karlstad University Sweden, Youcef Belkhier Czech Technical University in Prague, Jiri Nema University of Defence, Hynek Schvach University of Defence
10:50
20m
Talk
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits
ITEQS
Jarkko Peltomäki Åbo Akademi University, Ivan Porres Åbo Akademi University
10:30 - 12:10
IWCT Research Papers IIWCT at Grace Hopper
10:30
25m
Talk
Applying Combinatorial Testing to High-Speed Railway Automatic Train Protection System
IWCT
Rui Huang Southwest Jiaotong University, Chang Rao Chongqing Jiaotong University, Jeff Yu Lei University of Texas at Arlington, Jin Guo Southwest Jiaotong University, Yadong Zhang Southwest Jiaotong University
10:55
25m
Talk
Using Unified Combinatorial Interaction Testing for MC/DC Coverage
IWCT
Giray Coskun Sabanci University, Cankut Coskun Sabanci University, Hanefi Mercan Sabanci University, Cemal Yilmaz Sabancı University
11:20
25m
Talk
CA^2: Practical Archival and Compression of Covering Arrays
IWCT
Manuel Leithner SBA Research, Dimitris Simos SBA Research
11:45
25m
Talk
Experience of Combinatorial Testing toward Fault Detection, Isolation and Recovery Functionality
IWCT
Naoko Okubo Japan Aerospace Exploration Agency, Japan, Shoma Takatsuki Japan Aerospace Exploration Agency, Yasushi Ueda Japan Aerospace Exploration Agency, Japan
10:45 - 11:45
AIST IIAIST at Margaret Hamilton
Chair(s): Mark Micallef University of Malta
10:45
30m
Talk
TCP-Net: Test Case Prioritization using End-to-End Deep Neural Networks
AIST
Reem Eladawi Siemens EDA, Mohamed Abdelkarim Siemens EDA
11:15
30m
Talk
Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques
AIST
Mohit Kumar Ahuja Simula Research Laboratory, Arnaud Gotlieb Simula Research Laboratory, Helge Spieker Simula Research Laboratory, Norway
Pre-print
11:55 - 12:45
AIST IIIAIST at Margaret Hamilton
Chair(s): Mohit Kumar Ahuja Simula Research Laboratory
11:55
30m
Talk
Clustering of Usage Traces for Regression Test Cases Selection
AIST
Vahana Dorcis University of Burgundy Franche-Comte - FEMTO-ST, Fabrice Bouquet University of Bourgogne Franche-Comté, Frédéric Dadeau Univ. Bourgogne Franche-Comté FEMTO-ST Institute/DISC, CNRS, Besançon
12:25
20m
Talk
Towards Domain-Specific Exploratory Testing via Behavioural Cloning
AIST
Cristina Gatt University of Malta, Mark Micallef University of Malta, Mark Bugeja University of Malta
12:05 - 12:45
ITEQS IIIITEQS at Marlyn Meltzer
12:05
20m
Talk
Early Detection of Network Attacks Using Deep Learning
ITEQS
Tanwir Ahmad Åbo Akademi University, Dragos Truscan Åbo Akademi University, Jüri Vain Tallinn University of Technology, Estonia, Ivan Porres Åbo Akademi University
12:25
20m
Talk
Monitoring Approaches for Security and Safety Analysis : Application to a Load Position System
ITEQS
Zujany Salazar Montimage, Ana Rosa Cavalli Montimage, Wissam Mallouli Montimage, Filip Sebek ABB AB, Fatiha Zaidi University Paris-Sud, Monika Ewa Rakoczy Montimage
12:45 - 12:50
AIST ClosingAIST at Margaret Hamilton
Chair(s): Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC
12:45
5m
Day closing
Closing
AIST

12:45 - 12:50
ITEQS ClosingITEQS at Marlyn Meltzer
12:45
5m
Day closing
Best paper award and closing
ITEQS

13:00 - 14:40
IWCT Tool CompetitionIWCT at Grace Hopper
13:00
25m
Talk
A C++ implementation of the IPO algorithm
IWCT
Ken'Ya Takemura Osaka University Graduate School of Information Science and Technology
13:25
25m
Talk
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams
IWCT
Andrea Bombarda University of Bergamo, Angelo Gargantini University of Bergamo
13:50
25m
Talk
A Constrained Covering Array Generator using Adaptive Penalty based Parallel Tabu Search
IWCT
yan wang Nanjing University, Huayao Wu Nanjing University, Changhai Nie Nanjing University, Xintao Niu Nanjing University, Jiaxi Xu School of Information Engineering, Nanjing Xiaozhuang University
14:15
25m
Talk
Developing multithreaded techniques and improved constraint handling for the tool CAgen
IWCT
Michael Wagner SBA Research, Manuel Leithner SBA Research, Dimitris Simos SBA Research, Rick Kuhn National Institute of Standards and Technology, Raghu Kacker National Institute of Standards and Technology
13:00 - 13:10
Mutation OpeningMutation at Marlyn Meltzer
Chair(s): Amin Alipour University of Houston, Donghwan Shin University of Luxembourg
13:00
10m
Day opening
Welcome
Mutation

13:10 - 14:00
Mutation KeynoteMutation at Marlyn Meltzer
Chair(s): Donghwan Shin University of Luxembourg
13:10
50m
Keynote
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain
Mutation
Fabrizio Pastore University of Luxembourg
14:00 - 15:00
Mutation IMutation at Marlyn Meltzer
Chair(s): Donghwan Shin University of Luxembourg
14:00
20m
Talk
Augmenting Equivalent Mutant Dataset Using Symbolic Execution
Mutation
14:20
20m
Talk
μBERT: Mutation Testing using Pre-Trained Language Models
Mutation
Renzo Degiovanni SnT, University of Luxembourg, Mike Papadakis University of Luxembourg, Luxembourg
14:40
20m
Talk
Random Mutant Selection and Equivalent Mutants Revisited
Mutation
Rowland Pitts George Mason University
15:00 - 16:15
IWCT Research Papers IIIWCT at Grace Hopper
15:00
25m
Talk
A Combinatorial Approach to Fairness Testing of Machine Learning Models
IWCT
Ankita Ramjibhai Patel The University of Texas at Arlington, Jaganmohan Chandrasekaran Virginia Tech, Jeff Yu Lei University of Texas at Arlington, Raghu Kacker National Institute of Standards and Technology, Rick Kuhn National Institute of Standards and Technology
15:25
25m
Talk
Systematic Training and Testing for Machine Learning Using Combinatorial Interaction Testing
IWCT
Tyler Cody Virginia Tech, Erin Lanus The MITRE Corporation, Daniel D. Doyle Virginia Tech, Laura Freeman Virginia Tech
15:50
25m
Talk
Combination Frequency Differencing for Identifying Design Weaknesses in Physical Unclonable Functions
IWCT
Rick Kuhn National Institute of Standards and Technology, M S Raunak National Institute of Standards and Technology, Charles Prado National Institute of Metrology, Quality and Technology, Vinay Patil University of Massachusetts Amherst, Raghu Kacker National Institute of Standards and Technology
15:10 - 15:50
Mutation IIMutation at Marlyn Meltzer
Chair(s): Amin Alipour University of Houston
15:10
20m
Talk
An Automated Framework for Cost Reduction of Mutation Testing Based on Program Similarity
Mutation
Giovanni Guarnieri Federal University of Sao Carlos, Alessandro V. Pizzoleto Federal University of Sao Carlos, Fabiano Ferrari Federal University of São Carlos
15:30
20m
Talk
Re-visiting the coupling between mutants and real faults with Defects4J 2.0Mutation: Best Paper Award
Mutation
Thomas Laurent Lero & University College Dublin, Stephen Gaffney School of Computer Science, University College Dublin, Anthony Ventresque Lero and University College Dublin
15:50 - 16:40
Mutation ClosingMutation at Marlyn Meltzer
Chair(s): Amin Alipour University of Houston, Donghwan Shin University of Luxembourg
15:50
10m
Awards
Awarding Session
Mutation

16:00
30m
Talk
Open Discussion for Workshop
Mutation

16:30
10m
Day closing
Concluding Remarks
Mutation

16:15 - 16:40
IWCT ClosingIWCT at Grace Hopper
16:15
15m
Awards
Results of the CT competition
IWCT
Manuel Leithner SBA Research, Andrea Bombarda University of Bergamo, Michael Wagner SBA Research
16:30
10m
Day closing
Closing
IWCT

Tue 5 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:45 - 10:15
09:45
30m
Day opening
Opening
Research Papers

10:15 - 11:00
ICST Keynote IKeynotes at Margaret Hamilton
10:15
45m
Keynote
Misconceptions in deep learning testing
Keynotes
Paolo Tonella USI Lugano
11:00 - 11:30
11:00
30m
Break
Break/Networking
Research Papers

11:30 - 12:45
ICST Automated Testing ITesting Tools / Research Papers at Margaret Hamilton
Chair(s): Tanja E. J. Vos Universitat Politècnica de València and Open Universiteit
11:30
15m
Talk
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification
Research Papers
Hooman Asadian Uppsala University, Paul Fiterau-Brostean Uppsala University, Bengt Jonsson Uppsala University, Sweden, Konstantinos (Kostis) Sagonas Uppsala University, Sweden
Pre-print
11:45
15m
Talk
Model-based Testing of Scratch Programs
Testing Tools
Katharina Götz University of Passau, Patric Feldmeier University of Passau, Gordon Fraser University of Passau
12:00
15m
Talk
CITRUS: Automated Unit Testing Tool for Real-world C++ Programs
Testing Tools
Robert Sebastian Herlim KAIST, Yunho Kim Hanyang University, Moonzoo Kim KAIST / VPlusLab Inc.
12:15
15m
Talk
Symbolic Verification of Message Signatures in MPI
Research Papers
Hengbiao Yu National University of Defense Technology, Banghu Yin National University of Defense Technology, Xin Yi National University of Defense Technology
12:30
15m
Live Q&A
Discussion and Q&A
Research Papers

11:30 - 17:00
PostersPosters at Posters
12:45 - 14:00
Lunch / BreakResearch Papers at Networking
12:45
75m
Break
Break/Networking
Research Papers

14:00 - 15:15
ICST Field / Production testingResearch Papers / Industry at Margaret Hamilton
Chair(s): Annibale Panichella Delft University of Technology
14:00
15m
Talk
Testing Software in Production Environments with Data from the Field
Research Papers
Luca Gazzola Università degli Studi di Milano-Bicocca, Leonardo Mariani University of Milano-Bicocca, Matteo Orru University of Milano Bicocca, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Martin Tappler TU Graz; Silicon Austria Labs
14:15
15m
Talk
Automatic Error Classification and Root Cause Determination while Replaying Recorded Workload Data at SAP HANA
Industry
Neetha Jambigi University of Innsbruck, Thomas Bach SAP, Felix Schabernack SAP, Michael Felderer University of Innsbruck
14:30
15m
Talk
FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp
Industry
Ke Mao Meta, Timotej Kapus Facebook, Inc., Lambros Petrou Facebook, Inc., Ákos Hajdu Facebook, Matteo Marescotti Facebook, Inc., Andreas Löscher Facebook, Inc., Mark Harman Facebook, Inc., Dino Distefano Facebook London
14:45
15m
Talk
Smoke Testing of Cloud Systems
Research Papers
Cecilio Cannavacciuolo , Leonardo Mariani University of Milano-Bicocca
15:00
15m
Live Q&A
Discussion and Q&A
Research Papers

15:15 - 15:45
15:15
30m
Break
Break/Networking
Research Papers

15:45 - 16:45
ICST AI IResearch Papers / Industry at Margaret Hamilton
Chair(s): Raihana Ferdous Fondazione Bruno Kessler
15:45
15m
Talk
IFRIT: Focused Testing through Deep Reinforcement Learning
Research Papers
Andrea Romdhana DIBRIS - University of Genoa, FBK - Security & Trust unit, Mariano Ceccato University of Verona, Alessio Merlo DIBRIS - University of Genoa, Paolo Tonella USI Lugano
16:00
15m
Talk
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation
Industry
Paolo Arcaini National Institute of Informatics , Andrea Bombarda University of Bergamo, Silvia Bonfanti University of Bergamo, Angelo Gargantini University of Bergamo, Daniele Gamba AISent S.r.l., Rita Pedercini AISent S.r.l.
Pre-print
16:15
15m
Talk
Evaluating Features for Machine Learning Detection of Order- and Non-Order-Dependent Flaky Tests
Research Papers
Owain Parry The University of Sheffield, Gregory Kapfhammer Allegheny College, Michael Hilton Carnegie Mellon University, USA, Phil McMinn University of Sheffield
16:30
15m
Live Q&A
Discussion and Q&A
Research Papers

16:45 - 17:00
16:45
15m
Break
Break/Networking
Research Papers

17:00 - 18:00
17:00
60m
Social Event
Pubquiz I
Research Papers

18:00 - 19:30
Dinner / BreakResearch Papers at Networking
18:00
90m
Break
Break/Networking
Research Papers

19:30 - 20:45
ICST GUI Testing and FuzzingResearch Papers / Tool Demos at Margaret Hamilton
Chair(s): Andrea Stocco Università della Svizzera italiana (USI)
19:30
15m
Talk
A Framework for Automated API Fuzzing at Enterprise Scale
Research Papers
Riyadh Mahmood The Aerospace Corporation, Jay Pennington The Aerospace Corporation, Danny Tsang The Aerospace Corporation, Tan Tran The Aerospace Corporation, Andrea Bogle The Aerospace Corporation
19:45
15m
Talk
GUI Test Transfer from Web to Android
Research Papers
Jun-Wei Lin University of California, Irvine, Sam Malek University of California at Irvine, USA
20:00
15m
Talk
DTLS-Fuzzer: A DTLS Protocol State Fuzzer
Tool Demos
Paul Fiterau-Brostean Uppsala University, Bengt Jonsson Uppsala University, Sweden, Konstantinos (Kostis) Sagonas Uppsala University, Sweden, Fredrik Tåkvist Uppsala University
Pre-print Media Attached
20:15
15m
Talk
Automated Detection of TalkBack Interactive Accessibility Failures in Android Applications
Research Papers
Ali S. Alotaibi University of Southern California, Paul T. Chiou University of Southern California, William G.J. Halfond University of Southern California
20:30
15m
Live Q&A
Discussion and Q&A
Research Papers

Wed 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:45 - 11:00
ICST Regression TestingResearch Papers / Journal-First Papers / Industry at Margaret Hamilton
Chair(s): Rachel Tzoref-Brill IBM Research
09:45
15m
Talk
TESRAC: A Framework for Test Suite Reduction Assessment at Scale
Research Papers
João Becho LaSiGE & FCUL, University of Lisbon, Frederico Cerveira CISUC & DEI, University of Coimbra, João Leitão NOVA LINCS & FCT, NOVA University of Lisbon, Rui André Oliveira NOVA LINCS & FCT, NOVA University of Lisbon
10:00
15m
Talk
Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing
Industry
Paolo Arcaini National Institute of Informatics , Xiao-Yi Zhang National Institute of Informatics, Japan, Fuyuki Ishikawa National Institute of Informatics
10:15
15m
Talk
An effective formulation of the multi-criteria test suite minimization problem
Journal-First Papers
Okan Orsan Ozener Özyeğin University, Hasan Sozer Ozyegin University
Link to publication DOI
10:30
15m
Talk
Dynamic test prioritization of product lines: An application on configurable simulation models
Journal-First Papers
Urtzi Markiegi Mondragon Unibertsitatea, Aitor Arrieta Mondragon University, Leire Etxeberria Mondragon Unibertsitatea, Goiuria Sagardui Mondragon University
Link to publication DOI
10:45
15m
Live Q&A
Discussion and Q&A
Research Papers

11:00 - 11:30
11:00
30m
Break
Break/Networking
Research Papers

11:30 - 12:45
ICST Fuzzing and Random TestingResearch Papers / Journal-First Papers / Industry at Margaret Hamilton
Chair(s): Marcel Böhme MPI-SP, Germany and Monash University, Australia
11:30
15m
Talk
Metamorphic Fuzzing of C++ Libraries
Research Papers
Andrei Lascu Imperial College London, Alastair F. Donaldson Imperial College London, Tobias Grosser University of Edinburgh, Torsten Hoefler ETH Zurich
11:45
15m
Talk
POWER: Program Option-Aware Fuzzer for High Bug Detection Ability
Research Papers
Ahcheong Lee KAIST, Irfan Ariq KAIST, Yunho Kim Hanyang University, Moonzoo Kim KAIST / VPlusLab Inc.
12:00
15m
Talk
Comparing Fuzzers on a Level Playing Field with FuzzBench
Industry
Dario Asprone University College London (UCL), Jonathan Metzman Google, Abhishek Arya Google, Giovani Guizzo University College London, Federica Sarro University College London
12:15
15m
Talk
SWFC-ART: A cost-effective approach for Fixed-Size-Candidate-Set Adaptive Random Testing through small world graphs
Journal-First Papers
Muhammad Ashfaq Jiangsu University, Rubing Huang Macau University of Science and Technology (MUST), Dave Towey University of Nottingham Ningbo China, Michael Omari Takoradi Technical University, Dmitry Yashunin Harman X, Patrick Kwaku Kudjo University of Professional Studies, Accra-Ghana, Tao Zhang Macau University of Science and Technology (MUST)
Link to publication DOI
12:30
15m
Live Q&A
Discussion and Q&A
Research Papers

11:30 - 17:00
PostersPosters at Posters
12:45 - 14:00
Lunch / BreakResearch Papers at Networking
12:45
75m
Break
Break/Networking
Research Papers

14:00 - 14:45
ICST Keynote IIKeynotes at Margaret Hamilton
14:00
45m
Keynote
Software Testing and Repair of Organic Programs
Keynotes
Myra Cohen Iowa State University
14:45 - 15:15
14:45
30m
Social Event
Ice-Breakers and Get to know each other
Research Papers

15:15 - 16:30
ICST AI IITesting Tools / Research Papers / Industry at Margaret Hamilton
Chair(s): Donghwan Shin University of Luxembourg
15:15
15m
Talk
Learning Realistic Mutations: Bug Creation for Neural Bug Detectors
Research Papers
Cedric Richter Carl von Ossietzky Universität Oldenburg / University of Oldenburg, Heike Wehrheim Carl von Ossietzky Universität Oldenburg / University of Oldenburg
15:30
15m
Talk
SUPERNOVA: Automating Test Selection and Defect Prevention in AAA Video Games Using Risk Based Testing and Machine Learning
Industry
Alexander Senchenko Electronics Arts, Naomi Patterson Electronics Arts, Hamman Samuel Electronics Arts, Dan Ispir Electronics Arts
Pre-print
15:45
15m
Talk
RiverGame - a game testing tool using artificial intelligence
Testing Tools
Ciprian Paduraru University of Bucharest, Miruna Gabriela Paduraru University of Bucharest , Alin Stefanescu University of Bucharest
16:00
15m
Talk
Machine Learning Based Invariant Generation: A Framework and Reproducibility Study
Research Papers
Jan Haltermann University of Oldenburg, Heike Wehrheim Carl von Ossietzky Universität Oldenburg / University of Oldenburg
16:15
15m
Live Q&A
Discussion and Q&A
Research Papers

16:30 - 16:45
16:30
15m
Break
Break/Networking
Research Papers

16:45 - 18:00
ICST Empirical StudyJournal-First Papers / Research Papers at Margaret Hamilton
Chair(s): Mohammad Reza Mousavi King's College London
16:45
15m
Talk
An experimental and practical study on the equivalent mutant connection: An evolutionary approach
Journal-First Papers
Pedro Delgado-Pérez Universidad de Cádiz, Francisco Chicano University of Malaga
Link to publication DOI
17:00
15m
Talk
A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests
Research Papers
Sarra Habchi University of Luxembourg, Luxembourg, Guillaume Haben University of Luxembourg, Mike Papadakis University of Luxembourg, Luxembourg, Maxime Cordy University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg
Pre-print
17:15
15m
Talk
As Code Testing: Characterizing Test Quality in Open Source Ansible Development
Research Papers
Mohammed Mehedi Hasan Independent University, Akond Rahman Tennessee Tech University
Pre-print File Attached
17:30
15m
Talk
A Survey on How Test Flakiness Affects Developers and What Support They Need To Address It
Research Papers
Martin Gruber BMW Group, University of Passau, Gordon Fraser University of Passau
Pre-print
17:45
15m
Live Q&A
Discussion and Q&A
Research Papers

18:00 - 19:30
Dinner / BreakResearch Papers at Networking
18:00
90m
Break
Break/Networking
Research Papers

19:30 - 20:45
ICST Automated Testing 2Research Papers / Journal-First Papers at Margaret Hamilton
Chair(s): José Campos University of Lisbon, Portugal
19:30
15m
Talk
Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts
Research Papers
Sonal Mahajan Uber Technologies Inc., Mukul Prasad Fujitsu Research of America
19:45
15m
Talk
To Seed or Not to Seed? An Empirical Analysis of Usage of Seeds for Testing in Machine Learning Projects
Research Papers
Saikat Dutta University of Illinois at Urbana-Champaign, Anshul Arunachalam University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign
20:00
15m
Talk
Integration testing for robotic systems
Journal-First Papers
Maria Brito Federal University of Lavras Lavras, Simone do Rocio Senger de Souza ICMC/USP, Paulo Sergio Lopes de Souza ICMC/USP
Link to publication DOI
20:15
15m
Talk
Patterns of Code-to-Test Co-evolution for Automated Test Suite Maintenance
Research Papers
Samiha Shimmi Northern Illinois University, Mona Rahimi Northern Illinois University
20:30
15m
Live Q&A
Discussion and Q&A
Research Papers

Thu 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 11:00
ICST Machine and Constraints LearningResearch Papers / Journal-First Papers at Margaret Hamilton
Chair(s): Gunel Jahangirova USI Lugano
10:00
15m
Talk
Documentation-based functional constraint generation for library methods
Journal-First Papers
Renhe Jiang Nanjing University, Zhengzhao Chen Nanjing University, Yu Pei Hong Kong Polytechnic University, Minxue Pan Nanjing University, Tian Zhang Nanjing University, Xuandong Li Nanjing University
Link to publication DOI
10:15
15m
Talk
Learning-based mutant reduction using fine-grained mutation operators
Journal-First Papers
Yunho Kim Hanyang University, Shin Hong Handong Global University
Link to publication DOI
10:30
15m
Talk
An Empirical Study of IR-based Bug Localization for Deep Learning-based Software
Research Papers
Misoo Kim Sungkyunkwan University, Youngkyoung Kim Sungkyunkwan University, Eunseok Lee Sungkyunkwan University
10:45
15m
Live Q&A
Discussion and Q&A
Research Papers

11:00 - 11:30
11:00
30m
Break
Break/Networking
Research Papers

11:30 - 12:45
ICST API Testing and Program RepairIndustry / Research Papers at Margaret Hamilton
Chair(s): Thomas Durieux KTH
11:30
15m
Talk
Harvesting Production GraphQL Queries to Detect Schema Faults
Research Papers
Louise Zetterlund Redeye AB, Deepika Tiwari KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry KTH
11:45
15m
Talk
Automated Repair of Responsive Web Page Layouts
Research Papers
Ibrahim Althomali The University of Sheffield, Gregory Kapfhammer Allegheny College, Phil McMinn University of Sheffield
12:00
15m
Talk
Repairing Fragile GUI Test Cases Using Word and Layout Embedding
Industry
Juyeon Yoon Korea Advanced Institute of Science and Technology, Seungjun Chung KAIST, Kihyuck Shin Samsung Electronics, Jinhan Kim KAIST, Shin Hong Handong Global University, Shin Yoo KAIST
12:15
15m
Talk
Testing a PL/I Compiler using Precomputation-based Program Generation
Industry
Jesse Postema Universiteit Van Amsterdam, Johan Fabry Raincode Labs, Belgium, Yannick Barthol Raincode Labs, Ana Oprescu University of Amsterdam
12:30
15m
Live Q&A
Discussion and Q&A
Research Papers

11:30 - 17:00
PostersPosters at Posters
12:45 - 14:00
Lunch / BreakResearch Papers at Networking
12:45
75m
Break
Break/Networking
Research Papers

14:00 - 14:45
ICST Keynote IIIKeynotes at Margaret Hamilton
14:00
45m
Keynote
Why Do We Test?
Keynotes
14:45 - 15:15
14:45
30m
Break
Break/Networking
Research Papers

15:15 - 16:15
ICST Test GenerationTesting Tools / Research Papers at Margaret Hamilton
Chair(s): Xavier Devroey University of Namur
15:15
15m
Talk
TACKLETEST: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage
Testing Tools
Rachel Tzoref-Brill IBM Research, Saurabh Sinha IBM Research, Antonio Abu Nassar IBM Research, Victoria Goldin IBM Research, Haim Kermany IBM Research
15:30
15m
Talk
JavaScript Instrumentation for Search-Based Software Testing: A Study with RESTful APIs
Research Papers
Man Zhang Kristiania University, Asma Belhadi Kristiania University College, Andrea Arcuri Kristiania University College and Oslo Metropolitan University
15:45
15m
Paper
Assessor: a PO-Based WebDriver Test Suites Generator from Selenium IDE Recordings
Testing Tools
Maurizio Leotta DIBRIS, University of Genova, Italy, Antonio Molinari Università di Genova, Filippo Ricca Università di Genova
16:00
15m
Live Q&A
Discussion and Q&A
Research Papers

16:15 - 16:45
16:15
30m
Break
Break/Networking
Research Papers

16:45 - 18:00
ICST Symbolic executionResearch Papers / Industry / Testing Tools / Journal-First Papers at Margaret Hamilton
Chair(s): Arie van Deursen Delft University of Technology, Netherlands
16:45
15m
Talk
Translating EULYNX SysML models into Symbolic Transition Systems for Model-Based Testing of Railway signaling systems
Industry
Tobias Bachmann Universiteit van Amsterdam, Machiel van der Bijl Axini, Daan van der Meij ProRail, Djurre van der Wal University of Twente, Ana Oprescu University of Amsterdam
17:00
15m
Talk
Model checking C++ programs
Journal-First Papers
Felipe R. Monteiro Amazon, Mikhail R. Gadelha Igalia, Lucas C. Cordeiro University of Manchester, UK
Link to publication DOI
17:15
15m
Talk
SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software
Testing Tools
Tuba Yavuz University of Florida
17:30
15m
Talk
Automating Differential Testing with Overapproximate Symbolic Execution
Research Papers
Richard Rutledge Georgia Institute of Technology, Alessandro Orso Georgia Tech
17:45
15m
Live Q&A
Discussion and Q&A
Research Papers

18:00 - 18:30
Dinner / BreakResearch Papers at Networking
18:00
30m
Break
Break/Networking
Research Papers

18:30 - 19:30
18:30
60m
Social Event
Pubquiz II
Research Papers

19:30 - 20:45
Awards / MIPS / ClosingMIPs at Margaret Hamilton
19:30
20m
Talk
Awards
MIPs

19:50
20m
Talk
Most Influential Paper 1
MIPs

20:10
20m
Talk
Most Influential Paper 2
MIPs

20:30
15m
Talk
Closing
MIPs

Fri 8 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 09:15
INTUITESTBEDS OpeningINTUITESTBEDS at Marlyn Meltzer
09:00
15m
Day opening
Opening
INTUITESTBEDS

09:15 - 10:00
INTUITESTBEDS KeynoteINTUITESTBEDS at Marlyn Meltzer
09:15
45m
Keynote
End-to-End Web Testing: Page Objects to the rescue!
INTUITESTBEDS
Filippo Ricca , Maurizio Leotta DIBRIS, University of Genova, Italy
10:00 - 15:30
ICST Doctoral SymposiumDoctoral Symposium at Margaret Hamilton
Chair(s): Sinem Getir Yaman Ege University, Turkey, Wishnu Prasetya Utrecht University
10:00
5m
Day opening
Opening ICST Doctoral Symposium
Doctoral Symposium

10:05
20m
Talk
Invited Talk: Doing PhD in Software Engineering, a Look Back
Doctoral Symposium
Sinem Getir Yaman Ege University, Turkey
10:25
35m
Talk
Automated GUI-based Software-Testing Using Deep Neuroevolution
Doctoral Symposium
Daniel Zimmermann FZI Research Center for Information Technology
11:00
35m
Talk
Debugger-driven Embedded FuzzingBest Submission Award
Doctoral Symposium
Max Eisele Robert Bosch GmbH
11:35
85m
Lunch
Lunch
Doctoral Symposium

13:00
35m
Talk
Model-Based Testing for System-Level Safety of Autonomous Underwater Robots
Doctoral Symposium
Sergio Quijano IT University of Copenhagen
13:35
35m
Talk
Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal Methods
Doctoral Symposium
Amirfarhad Nilizadeh University of Central Florida
14:10
20m
Break
Break
Doctoral Symposium

14:30
60m
Other
Discussion Session
Doctoral Symposium

10:00 - 10:30
INTUITESTBEDS IINTUITESTBEDS at Marlyn Meltzer
10:00
30m
Talk
An Industrial Case-Study on GUI Testing With RPA
INTUITESTBEDS
Mats Holmberg Mid Sweden University, Felix Dobslaw Chalmers University of Technology
10:45 - 12:30
INTUITESTBEDS IIINTUITESTBEDS at Marlyn Meltzer
10:45
30m
Talk
Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs
INTUITESTBEDS
Vaclav Rechtberger Czech Technical University in Prague, Miroslav Bures Czech Technical University, Czechia, Bestoun S. Ahmed Karlstad University Sweden
11:15
30m
Talk
Gamified Exploratory GUI Testing of Web Applications: a Preliminary Evaluation
INTUITESTBEDS
Tommaso Fulcini Politecnico di Torino, Luca Ardito Politecnico di Torino
11:45
45m
Talk
Win GUI Crawler: A tool for large-scale desktop GUI image and metadata collection
INTUITESTBEDS
Marko Savic University of Oulu, Mika Mäntylä University of Oulu, Maëlick Claes University of Oulu
12:30 - 12:40
INTUITESTBEDS ClosingINTUITESTBEDS at Marlyn Meltzer
12:30
10m
Day closing
Closing
INTUITESTBEDS

13:00 - 13:05
InSTA OpeningInSTA at Grace Hopper
13:00
5m
Day opening
Opening
InSTA

13:00 - 13:10
NEXTA OpeningNEXTA at Marlyn Meltzer
Chair(s): Jeremy Bradbury Ontario Tech University, Michael Felderer University of Innsbruck, Vahid Garousi Queen's University Belfast, Kristian Sandahl Linköping University, Sahar Tahvili Ericsson AB
13:00
10m
Day opening
Opening
NEXTA

13:05 - 13:45
13:05
20m
Talk
Software Bug Prediction Model Based on Mathematical Graph Features Metrics
InSTA
Tomohiro Takeda University of Tsukuba, Satoshi Masuda Tokyo City University, Kazuhiko Tsuda University of Tsukuba Tokyo
13:25
20m
Paper
Obtaining Fuzzing Results with Different Timeouts
InSTA
Wenxi Zhang Waseda University
13:40 - 14:20
NEXTA INEXTA at Marlyn Meltzer
Chair(s): Vahid Garousi Queen's University Belfast
13:40
20m
Full-paper
Cross-Device Difference Detector for Mobile Application GUI Compatibility Testing
NEXTA
Yanwei Ren Baidu China Co. Ltd, Youda Gu Baidu China Co. Ltd, Zongqing Ma Beijing Information Science & Technology University, hualiang zhu Baidu China Co. Ltd, Fei Yin Baidu China Co. Ltd
14:00
20m
Full-paper
AcoFuzz: Adaptive Energy Allocation for Greybox Fuzzing
NEXTA
Qi Zhan , You Wu , Haipeng Qu Ocean University of China, Xiaoqi Zhao
13:55 - 14:55
InSTA IIInSTA at Grace Hopper
13:55
20m
Talk
Patterns to improve fidelity for model-based testing
InSTA
Yasuaki Hiruta VeriServe Corporation, Hidetoshi Suhara Veriserve Corporation, Yasuharu Nishi University of Electro-Communications, Tokyo
14:15
20m
Talk
Software Test Architecture Definition by Analogy with Software Architecture
InSTA
Satoshi Masuda Tokyo City University, Jon D. Hagar Grand Software Testing, LLC, Hot Sulphur Springs, CO, Yasuharu Nishi University of Electro-Communications, Tokyo, Kazuhiro Suzuki Hitachi, Ltd. Kanagawa
14:35
20m
Talk
Software Architecture Elements Applied to Software Test: View, Viewpoints and Containers
InSTA
Jon D. Hagar Grand Software Testing, LLC, Hot Sulphur Springs, CO
14:20 - 15:00
NEXTA IINEXTA at Marlyn Meltzer
Chair(s): Michael Felderer University of Innsbruck
14:20
20m
Full-paper
Generation of PHP vulnerability test cases for XSS and SQLi
NEXTA
Felix Schuckert HTWG Konstanz / NTNU Gjøvik, Basel Katt , Hanno Langweg
14:40
20m
Full-paper
Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment
NEXTA
Mikael Ebrahimi Salari Mälardalen University, Eduard Paul Enoiu Mälardalen University, Wasif Afzal , Cristina Seceleanu Mälardalen University
Media Attached
14:55 - 15:00
InSTA ClosingInSTA at Grace Hopper
14:55
5m
Day closing
Closing
InSTA

15:10 - 15:50
NEXTA IIINEXTA at Marlyn Meltzer
Chair(s): Sahar Tahvili Ericsson AB
15:10
20m
Full-paper
Pinpointing Anomaly Events in Logs from Stability Testing - N-Grams vs. Deep-Learning
NEXTA
Mika Mäntylä University of Oulu, Martin Varela Profilence, Shayan Hashemi University of Oulu
15:30
20m
Full-paper
Identifying Randomness related Flaky Tests through Divergence and Execution Tracing
NEXTA
Azeem Ahmad Linköping University, Erik Norrestam Held , Ola Leifler , Kristian Sandahl Linköping University
15:50 - 16:30
NEXTA IVNEXTA at Marlyn Meltzer
Chair(s): Kristian Sandahl Linköping University
15:50
20m
Full-paper
Removing Uninteresting Bytes in Software Fuzzing
NEXTA
Aftab Hussain University of Houston, Amin Alipour University of Houston
16:10
20m
Full-paper
New Ranking Formulas to Improve Spectrum Based Fault Localization Via Systematic Search
NEXTA
Qusay Idrees Sarhan Department of Software Engineering, University of Szeged, Tamás Gergely Department of Software Engineering, University of Szeged, Árpád Beszédes Department of Software Engineering, University of Szeged
16:30 - 16:40
NEXTA ClosingNEXTA at Marlyn Meltzer
16:30
10m
Day closing
Closing
NEXTA