Margaret Hamilton - ICST 2022

VenueAppendee

Room nameMargaret Hamilton

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

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

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: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: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

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

09:45 - 10:15	ICST OpeningResearch Papers at Margaret Hamilton

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: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

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: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

17:00 - 18:00	SocialResearch Papers at Margaret Hamilton

17:00 60m Social Event		Pubquiz I 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: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

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	Ice-BreakersResearch Papers at Margaret Hamilton

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: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

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: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

14:00 - 14:45	ICST Keynote IIIKeynotes at Margaret Hamilton

14:00 45m Keynote		Why Do We Test? Keynotes Hyrum Wright

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: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:30 - 19:30	SocialResearch Papers at Margaret Hamilton

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

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 Fuzzing 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

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


Room	9:00						30						10:00						30						11:00						30						12:00						30
Margaret Hamilton	AIST AIST Opening	AIST AIST Keynote												AIST AIST I								AIST AIST II														AIST AIST III										AIST AIST Closing

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


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
Margaret Hamilton										Research Papers ICST Opening						Keynotes ICST Keynote I															Testing Tools + Research Papers ICST Automated Testing I																														Research Papers + Industry ICST Field / Production testing																					Research Papers + Industry ICST AI I															Research Papers Social																														Research Papers + Tool Demos ICST GUI Testing and Fuzzing

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


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
Margaret Hamilton										Research Papers + Journal-First Papers + Industry ICST Regression Testing																					Research Papers + Journal-First Papers + Industry ICST Fuzzing and Random Testing																														Keynotes ICST Keynote II									Research Papers Ice-Breakers						Testing Tools + Research Papers + Industry ICST AI II																		Journal-First Papers + Research Papers ICST Empirical Study																																	Research Papers + Journal-First Papers ICST Automated Testing 2

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


Room	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
Margaret Hamilton	Research Papers + Journal-First Papers ICST Machine and Constraints Learning																		Industry + Research Papers ICST API Testing and Program Repair																														Keynotes ICST Keynote III															Testing Tools + Research Papers ICST Test Generation																		Research Papers + Industry + Testing Tools + Journal-First Papers ICST Symbolic execution																					Research Papers Social												MIPs Awards / MIPS / Closing

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Margaret Hamilton	Doctoral Symposium ICST Doctoral Symposium

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45
Margaret Hamilton	AIST Welcome 09:00 - 09:05	AIST Sequence to sequence learning for software testing 09:05 - 10:05												AIST A Preliminary Study on Generating Well-Formed Q# Quantum Programs for F ... 10:05 - 10:25								AIST TCP-Net: Test Case Prioritization using End-to-End Deep Neural Networks 10:45 - 11:15						AIST Testing Deep Learning Models: A First Comparative Study of Multiple Tes ... 11:15 - 11:45								AIST Clustering of Usage Traces for Regression Test Cases Selection 11:55 - 12:25						AIST Towards Domain-Specific Exploratory Testing via Behavioural Cloning 12:25 - 12:45				AIST Closing 12:45 - 12:50

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


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			19:00			15			30			45			20:00			15			30			45
Margaret Hamilton										ICST Research Papers Opening 09:45 - 10:15						ICST Keynotes Misconceptions in deep learning testing 10:15 - 11:00															ICST Research Papers Applying Symbolic Execution to Test Implementations of a Network Protoc ... 11:30 - 11:45			ICST Testing Tools Model-based Testing of Scratch Programs 11:45 - 12:00			ICST Testing Tools CITRUS: Automated Unit Testing Tool for Real-world C++ Programs 12:00 - 12:15			ICST Research Papers Symbolic Verification of Message Signatures in MPI 12:15 - 12:30			ICST Research Papers Discussion and Q&A 12:30 - 12:45																		ICST Research Papers Testing Software in Production Environments with Data from the Field 14:00 - 14:15			ICST Industry Automatic Error Classification and Root Cause Determination while Repla ... 14:15 - 14:30			ICST Industry FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp 14:30 - 14:45			ICST Research Papers Smoke Testing of Cloud Systems 14:45 - 15:00			ICST Research Papers Discussion and Q&A 15:00 - 15:15									ICST Research Papers IFRIT: Focused Testing through Deep Reinforcement Learning 15:45 - 16:00			ICST Industry Robustness assessment and improvement of a neural network for blood oxy ... 16:00 - 16:15			ICST Research Papers Evaluating Features for Machine Learning Detection of Order- and Non-Or ... 16:15 - 16:30			ICST Research Papers Discussion and Q&A 16:30 - 16:45						ICST Research Papers Pubquiz I 17:00 - 18:00																														ICST Research Papers A Framework for Automated API Fuzzing at Enterprise Scale 19:30 - 19:45			ICST Research Papers GUI Test Transfer from Web to Android 19:45 - 20:00			ICST Tool Demos DTLS-Fuzzer: A DTLS Protocol State Fuzzer 20:00 - 20:15			ICST Research Papers Automated Detection of TalkBack Interactive Accessibility Failures in A ... 20:15 - 20:30			ICST Research Papers Discussion and Q&A 20:30 - 20:45

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


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			19:00			15			30			45			20:00			15			30			45
Margaret Hamilton										ICST Research Papers TESRAC: A Framework for Test Suite Reduction Assessment at Scale 09:45 - 10:00			ICST Industry Less is More: Simplification of Test Scenarios for Autonomous Driving S ... 10:00 - 10:15			ICST Journal-First Papers An effective formulation of the multi-criteria test suite minimization ... 10:15 - 10:30			ICST Journal-First Papers Dynamic test prioritization of product lines: An application on configu ... 10:30 - 10:45			ICST Research Papers Discussion and Q&A 10:45 - 11:00									ICST Research Papers Metamorphic Fuzzing of C++ Libraries 11:30 - 11:45			ICST Research Papers POWER: Program Option-Aware Fuzzer for High Bug Detection Ability 11:45 - 12:00			ICST Industry Comparing Fuzzers on a Level Playing Field with FuzzBench 12:00 - 12:15			ICST Journal-First Papers SWFC-ART: A cost-effective approach for Fixed-Size-Candidate-Set Adapti ... 12:15 - 12:30			ICST Research Papers Discussion and Q&A 12:30 - 12:45																		ICST Keynotes Software Testing and Repair of Organic Programs 14:00 - 14:45									ICST Research Papers Ice-Breakers and Get to know each other 14:45 - 15:15						ICST Research Papers Learning Realistic Mutations: Bug Creation for Neural Bug Detectors 15:15 - 15:30			ICST Industry SUPERNOVA: Automating Test Selection and Defect Prevention in AAA Video ... 15:30 - 15:45			ICST Testing Tools RiverGame - a game testing tool using artificial intelligence 15:45 - 16:00			ICST Research Papers Machine Learning Based Invariant Generation: A Framework and Reproducib ... 16:00 - 16:15			ICST Research Papers Discussion and Q&A 16:15 - 16:30						ICST Journal-First Papers An experimental and practical study on the equivalent mutant connection ... 16:45 - 17:00			ICST Research Papers A Qualitative Study on the Sources, Impacts, and Mitigation Strategies ... 17:00 - 17:15			ICST Research Papers As Code Testing: Characterizing Test Quality in Open Source Ansible Dev ... 17:15 - 17:30			ICST Research Papers A Survey on How Test Flakiness Affects Developers and What Support They ... 17:30 - 17:45			ICST Research Papers Discussion and Q&A 17:45 - 18:00																					ICST Research Papers Providing Real-time Assistance for Repairing Runtime Exceptions using S ... 19:30 - 19:45			ICST Research Papers To Seed or Not to Seed? An Empirical Analysis of Usage of Seeds for Tes ... 19:45 - 20:00			ICST Journal-First Papers Integration testing for robotic systems 20:00 - 20:15			ICST Research Papers Patterns of Code-to-Test Co-evolution for Automated Test Suite Maintenance 20:15 - 20:30			ICST Research Papers Discussion and Q&A 20:30 - 20:45

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


Room	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			19:00			15			30			45			20:00			15			30			45
Margaret Hamilton	ICST Journal-First Papers Documentation-based functional constraint generation for library methods 10:00 - 10:15			ICST Journal-First Papers Learning-based mutant reduction using fine-grained mutation operators 10:15 - 10:30			ICST Research Papers An Empirical Study of IR-based Bug Localization for Deep Learning-based ... 10:30 - 10:45			ICST Research Papers Discussion and Q&A 10:45 - 11:00									ICST Research Papers Harvesting Production GraphQL Queries to Detect Schema Faults 11:30 - 11:45			ICST Research Papers Automated Repair of Responsive Web Page Layouts 11:45 - 12:00			ICST Industry Repairing Fragile GUI Test Cases Using Word and Layout Embedding 12:00 - 12:15			ICST Industry Testing a PL/I Compiler using Precomputation-based Program Generation 12:15 - 12:30			ICST Research Papers Discussion and Q&A 12:30 - 12:45																		ICST Keynotes Why Do We Test? 14:00 - 14:45															ICST Testing Tools TACKLETEST: A Tool for Amplifying Test Generation via Type-Based Combin ... 15:15 - 15:30			ICST Research Papers JavaScript Instrumentation for Search-Based Software Testing: A Study w ... 15:30 - 15:45			ICST Testing Tools Assessor: a PO-Based WebDriver Test Suites Generator from Selenium IDE ... 15:45 - 16:00			ICST Research Papers Discussion and Q&A 16:00 - 16:15									ICST Industry Translating EULYNX SysML models into Symbolic Transition Systems for Mo ... 16:45 - 17:00			ICST Journal-First Papers Model checking C++ programs 17:00 - 17:15			ICST Testing Tools SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded ... 17:15 - 17:30			ICST Research Papers Automating Differential Testing with Overapproximate Symbolic Execution 17:30 - 17:45			ICST Research Papers Discussion and Q&A 17:45 - 18:00									ICST Research Papers Pubquiz II 18:30 - 19:30												ICST MIPs Awards 19:30 - 19:50				ICST MIPs Most Influential Paper 1 19:50 - 20:10				ICST MIPs Most Influential Paper 2 20:10 - 20:30				ICST MIPs Closing 20:30 - 20:45

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


Room	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
Margaret Hamilton	ICST Doctoral Symposium Opening ICST Doctoral Symposium 10:00 - 10:05	ICST Doctoral Symposium Invited Talk: Doing PhD in Software Engineering, a Look Back 10:05 - 10:25				ICST Doctoral Symposium Automated GUI-based Software-Testing Using Deep Neuroevolution 10:25 - 11:00							ICST Doctoral Symposium Debugger-driven Embedded Fuzzing 11:00 - 11:35							ICST Doctoral Symposium Lunch 11:35 - 13:00																	ICST Doctoral Symposium Model-Based Testing for System-Level Safety of Autonomous Underwater Robots 13:00 - 13:35							ICST Doctoral Symposium Automated Program Repair and Test Overfitting: Measurements and Approac ... 13:35 - 14:10							ICST Doctoral Symposium Break 14:10 - 14:30				ICST Doctoral Symposium Discussion Session 14:30 - 15:30

Room information: Margaret Hamilton

Program Display Configuration

Mon 4 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 5 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 8 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 4 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

AIST

AIST

AIST

AIST

AIST

AIST

Tue 5 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Research Papers

Keynotes

Testing Tools + Research Papers

Research Papers + Industry

Research Papers + Industry

Research Papers

Research Papers + Tool Demos

Wed 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Research Papers + Journal-First Papers + Industry

Research Papers + Journal-First Papers + Industry

Keynotes

Research Papers

Testing Tools + Research Papers + Industry

Journal-First Papers + Research Papers

Research Papers + Journal-First Papers

Thu 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Research Papers + Journal-First Papers

Industry + Research Papers

Keynotes

Testing Tools + Research Papers

Research Papers + Industry + Testing Tools + Journal-First Papers

Research Papers

MIPs

Fri 8 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Doctoral Symposium

Mon 4 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 5 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 8 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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