ICST 2020 - Testing Tools Track

The Tools Track seeks to bridge the gap between research and practice, focusing on software testing, verification, and validation. Its main goal is to advance both the state of the art and the state of the practice.

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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

Sun 25 Oct
Displayed time zone: Lisbon change

09:00 - 09:15	Intro & WelcomeResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room +11h Chair(s): João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC, Rui Abreu Faculty of Engineering, University of Porto, Portugal

09:00 15m Day opening		Intro & Welcome Research Papers

14:00 - 16:00	RT5 - Testing for APIsTesting Tools Track / Research Papers at Farfetch (D. Maria) +11h Chair(s): José Miguel Rojas University of Leicester, UK

14:00 30m Talk		QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs Research Papers Stefan Karlsson ABB AB, Mälardalen University, Adnan Causevic Mälardalen University, Daniel Sundmark Mälardalen University Link to publication DOI
14:30 30m Talk		RESTTESTGEN: Automated Black-Box Testing of RESTful APIs Research Papers Emanuele Viglianisi FBK, Michael Dallago University of Trento, Mariano Ceccato University of Verona Link to publication DOI
15:00 30m Talk		Testability Transformations For Existing APIs Research Papers Andrea Arcuri Kristiania University College, Norway, Juan Pablo Galeotti University of Buenos Aires Link to publication DOI
15:30 15m Talk		CDST: A Toolkit for Testing Cockpit Display Systems Testing Tools Track Hassan Sartaj QUEST - UAV Dependability Lab, Muhammad Zohaib Iqbal National University of Computer and Emerging Sciences, Muhammad Uzair Khan National University of Computer and Emerging Sciences Link to publication DOI
15:45 15m Talk		Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing Testing Tools Track Miroslav Bures Czech Technical University in Prague, Pavel Herout University of West Bohemia, Pilsen, CZ, Bestoun S. Ahmed Karlstad University Link to publication DOI

16:15 - 17:15	Keynote 1Research Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room Chair(s): João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC

16:15 60m Keynote		One-click formal methods Research Papers Liana Hadarean Amazon Link to publication

20:00 - 20:15	Intro & WelcomeResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room Chair(s): João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC, Rui Abreu Faculty of Engineering, University of Porto, Portugal

20:00 15m Day opening		Intro & Welcome Research Papers

Mon 26 Oct
Displayed time zone: Lisbon change

01:00 - 03:00	RT5 - Testing for APIsResearch Papers / Testing Tools Track at Farfetch (D. Maria) Chair(s): Marcelo d'Amorim Federal University of Pernambuco

01:00 30m Talk		QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs Research Papers Stefan Karlsson ABB AB, Mälardalen University, Adnan Causevic Mälardalen University, Daniel Sundmark Mälardalen University Link to publication DOI
01:30 30m Talk		RESTTESTGEN: Automated Black-Box Testing of RESTful APIs Research Papers Emanuele Viglianisi FBK, Michael Dallago University of Trento, Mariano Ceccato University of Verona Link to publication DOI
02:00 30m Talk		Testability Transformations For Existing APIs Research Papers Andrea Arcuri Kristiania University College, Norway, Juan Pablo Galeotti University of Buenos Aires Link to publication DOI
02:30 15m Talk		CDST: A Toolkit for Testing Cockpit Display Systems Testing Tools Track Hassan Sartaj QUEST - UAV Dependability Lab, Muhammad Zohaib Iqbal National University of Computer and Emerging Sciences, Muhammad Uzair Khan National University of Computer and Emerging Sciences Link to publication DOI
02:45 15m Talk		Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing Testing Tools Track Miroslav Bures Czech Technical University in Prague, Pavel Herout University of West Bohemia, Pilsen, CZ, Bestoun S. Ahmed Karlstad University Link to publication DOI

09:00 - 09:30	Most Influential Paper AwardsResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room +11h Chair(s): Luís Cruz Deflt University of Technology

09:00 15m Awards		Using Mutation to Automatically Suggest Fixes for Faulty Programs Research Papers W. Eric Wong , Vidroha Debroy Media Attached
09:15 15m Awards		Searching for a needle in a haystack predicting security vulnerabilities for Windows Vista Research Papers Thomas Zimmermann Microsoft Research, Nachiappan Nagappan Microsoft Research, USA, Laurie Williams North Carolina State University Media Attached

20:00 - 20:30	Most Influential Paper AwardsResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room Chair(s): Rui Abreu Faculty of Engineering, University of Porto, Portugal, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC

20:00 15m Awards		Using Mutation to Automatically Suggest Fixes for Faulty Programs Research Papers W. Eric Wong , Vidroha Debroy Media Attached
20:15 15m Awards		Searching for a needle in a haystack predicting security vulnerabilities for Windows Vista Research Papers Thomas Zimmermann Microsoft Research, Nachiappan Nagappan Microsoft Research, USA, Laurie Williams North Carolina State University Media Attached

Tue 27 Oct
Displayed time zone: Lisbon change

10:00 - 11:00	Testing toolsTesting Tools Track at Infante +11h Chair(s): René Just University of Washington, USA, Andy Zaidman Delft University of Technology

10:00 15m Talk		Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning Systems Testing Tools Track Sakshi Udeshi , Xingbin Jiang Singapore University of Technology and Design, Sudipta Chattopadhyay Singapore University of Technology and Design Link to publication DOI
10:15 15m Talk		Run Java Applications and Test Them In-Vivo Meantime Testing Tools Track Antonia Bertolino CNR-ISTI, Guglielmo De Angelis CNR-IASI, CNR-ISTI, Breno Miranda Federal University of Pernambuco, Paolo Tonella Università della Svizzera Italiana (USI) Link to publication DOI
10:30 15m Talk		AFLNet: A Greybox Fuzzer for Network Protocols Testing Tools Track Van-Thuan Pham Monash University, Marcel Böhme Monash University, Australia, Abhik Roychoudhury National University of Singapore, Singapore Link to publication DOI
10:45 15m Talk		ct-fuzz: Fuzzing for Timing Leaks Testing Tools Track Shaobo He University of Utah, Michael Emmi Amazon Web Services, Gabriela Ciocarlie SRI International Link to publication DOI

21:00 - 22:00	Testing toolsTesting Tools Track at Infante Chair(s): René Just University of Washington, USA, Andy Zaidman Delft University of Technology

21:00 15m Talk		Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning Systems Testing Tools Track Sakshi Udeshi , Xingbin Jiang Singapore University of Technology and Design, Sudipta Chattopadhyay Singapore University of Technology and Design Link to publication DOI
21:15 15m Talk		Run Java Applications and Test Them In-Vivo Meantime Testing Tools Track Antonia Bertolino CNR-ISTI, Guglielmo De Angelis CNR-IASI, CNR-ISTI, Breno Miranda Federal University of Pernambuco, Paolo Tonella Università della Svizzera Italiana (USI) Link to publication DOI
21:30 15m Talk		AFLNet: A Greybox Fuzzer for Network Protocols Testing Tools Track Van-Thuan Pham Monash University, Marcel Böhme Monash University, Australia, Abhik Roychoudhury National University of Singapore, Singapore Link to publication DOI
21:45 15m Talk		ct-fuzz: Fuzzing for Timing Leaks Testing Tools Track Shaobo He University of Utah, Michael Emmi Amazon Web Services, Gabriela Ciocarlie SRI International Link to publication DOI

Accepted Papers

	Title
	AFLNet: A Greybox Fuzzer for Network Protocols Testing Tools Track Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury Link to publication DOI
	Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning Systems Testing Tools Track Sakshi Udeshi, Xingbin Jiang, Sudipta Chattopadhyay Link to publication DOI
	CDST: A Toolkit for Testing Cockpit Display Systems Testing Tools Track Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan Link to publication DOI
	ct-fuzz: Fuzzing for Timing Leaks Testing Tools Track Shaobo He, Michael Emmi, Gabriela Ciocarlie Link to publication DOI
	Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing Testing Tools Track Miroslav Bures, Pavel Herout, Bestoun S. Ahmed Link to publication DOI
	Run Java Applications and Test Them In-Vivo Meantime Testing Tools Track Antonia Bertolino, Guglielmo De Angelis, Breno Miranda, Paolo Tonella Link to publication DOI

Call for Papers

The Tools Track invites submissions that describe tools at several stages of maturity, including promising research prototypes, widely used research tools, and commercial tools.

A Tools Track submission should clearly describe the complexity of the addressed problem, solved technical challenges, and possibilities for technology transfer into practice. Researchers are welcome to submit papers that describe novel approaches and how these approaches support tool developers in solving challenging problems. Moreover, this track seeks non-academic submissions to foster discussions between researchers and practitioners.

Areas of interest:

The Tools Track invites submissions related, but not limited, to the following areas:

Design and development of novel tools for software testing, verification, and validation;
Working prototypes for novel research approaches, reporting on the technical challenges and early feedback obtained from practitioners;
Strategies and challenges for tool adoption as well as lessons learned from technology transfer of academic approaches into open source or commercial tools;
Case studies and/or experiments involving tools in particular contexts, reporting on lessons learned and negative results (if any).

Evaluation:

Each submission will be evaluated based on:

The relevance and significance of the addressed problem.
The innovation element of the approach.
The availability, maturity, and adoption of the tool.
The presence of lessons learned from developing or using the tool.
The quality of the presentation.

Accepted papers will appear in the conference proceedings and the IEEE digital library.

Submission:

Submissions will be handled via easychair (Testing Tools Track): https://easychair.org/my/conference?conf=icst2020

The Testing Tools Track of ICST 2020 uses single-blind reviewing, which means that papers and tools need not be anonymized. All submitted papers must conform to the two column IEEE conference publication format. Templates for Latex and Word are available at: http://www.ieee.org/conferences_events/conferences/publishing/templates.html;

Use the letter format templates and the “conference” option.
The paper must be submitted as PDF and m ust not exceed 6 pages.

Presentation format:

Author(s) of an accepted paper will present their work at the ICST conference on two occasions:

Lightning talk to advertise the tool and talk (~1 minute).
Paper presentation (~15 minutes).

Questions? Use the ICST Testing Tools Track contact form.

09:15 - 10:45	RT1 - Fault Localization and Debugging InfanteResearch Papers at Infante +11h Chair(s): Andreas Zeller CISPA, Germany

09:15 30m Talk		Can We Predict the Quality of Spectrum-based Fault Localization? Research Papers Mojdeh Golagha Technical University of Munich, Alexander Pretschner Technical University of Munich, Lionel Briand University of Luxembourg, University of Ottawa Link to publication DOI
09:45 30m Talk		Substate Profiling for Enhanced Fault Detection and Localization: An Empirical Study Research Papers Rawad Abou Assi American University of Beirut, Wes Masri American University of Beirut, Chadi Trad American University of Beirut Link to publication DOI
10:15 30m Talk		More Accurate Dynamic Slicing for Better Supporting Software Debugging Research Papers Xiangyu Li Georgia Institute of Technology, Alessandro Orso Georgia Tech Link to publication DOI

11:00 - 12:30	RT3 - Testing Deep Learning and Robotic SystemsResearch Papers at Farfetch (D. Maria) +11h Chair(s): Antonio Filieri Imperial College London

11:00 30m Talk		An Empirical Evaluation of Mutation Operators for Deep Learning Systems Research Papers Gunel Jahangirova USI Lugano, Switzerland, Paolo Tonella Università della Svizzera Italiana (USI) Link to publication DOI
11:30 30m Talk		Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study Research Papers Fitash Ul Haq University of Luxembourg, Donghwan Shin University of Luxembourg, Shiva Nejati University of Luxembourg, Lionel Briand University of Luxembourg, University of Ottawa Link to publication DOI
12:00 30m Talk		A Study on Challenges of Testing Robotic Systems Research Papers Afsoon Afzal Carnegie Mellon University, Claire Le Goues Carnegie Mellon University, Michael Hilton Carnegie Mellon University, USA, Christopher Steven Timperley Carnegie Mellon University Link to publication DOI

11:00 - 12:30	RT2 - Test Generation InfanteResearch Papers at Infante +11h Chair(s): Marcelo d'Amorim Federal University of Pernambuco

11:00 30m Talk		Language-Agnostic Generation of Compilable Test Programs Research Papers Patrick Kreutzer Friedrich-Alexander University Erlangen-Nürnberg, Stefan Kraus Friedrich-Alexander University Erlangen-Nürnberg, Michael Philippsen Friedrich-Alexander University Erlangen-Nürnberg (FAU) Link to publication DOI
11:30 30m Talk		MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators Research Papers Kyle Dewey California State University, Northridge, Shant Hairapetian University of Oregon, Miroslav Gavrilov University of California, Santa Barbara Link to publication DOI
12:00 30m Talk		Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection Research Papers Hussein Almulla University of South Carolina, Gregory Gay Chalmers and the University of Gothenburg Link to publication DOI

14:00 - 15:00	RT4 - Misc 1Research Papers at Infante +11h Chair(s): Andrea Stocco Università della Svizzera italiana (USI)

14:00 30m Talk		Determining Method-Call Sequences for Object Creation in C++ Research Papers Thomas Bach Heidelberg University, Ralf Pannemans SAP, Artur Andrzejak Heidelberg University Link to publication DOI
14:30 30m Talk		NodeRacer: Event Race Detection for Node.js Applications Research Papers André T. Endo Federal University of Technology - Paraná (UTFPR), Anders Møller Aarhus University, Denmark Link to publication DOI

20:15 - 21:45	RT1 - Fault Localization and Debugging InfanteResearch Papers at Infante Chair(s): José Campos University of Lisbon, Portugal

20:15 30m Talk		Can We Predict the Quality of Spectrum-based Fault Localization? Research Papers Mojdeh Golagha Technical University of Munich, Alexander Pretschner Technical University of Munich, Lionel Briand University of Luxembourg, University of Ottawa Link to publication DOI
20:45 30m Talk		Substate Profiling for Enhanced Fault Detection and Localization: An Empirical Study Research Papers Rawad Abou Assi American University of Beirut, Wes Masri American University of Beirut, Chadi Trad American University of Beirut Link to publication DOI
21:15 30m Talk		More Accurate Dynamic Slicing for Better Supporting Software Debugging Research Papers Xiangyu Li Georgia Institute of Technology, Alessandro Orso Georgia Tech Link to publication DOI

22:00 - 23:30	RT3 - Testing Deep Learning and Robotic SystemsResearch Papers at Farfetch (D. Maria) Chair(s): João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC

22:00 30m Talk		An Empirical Evaluation of Mutation Operators for Deep Learning Systems Research Papers Gunel Jahangirova USI Lugano, Switzerland, Paolo Tonella Università della Svizzera Italiana (USI) Link to publication DOI
22:30 30m Talk		Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study Research Papers Fitash Ul Haq University of Luxembourg, Donghwan Shin University of Luxembourg, Shiva Nejati University of Luxembourg, Lionel Briand University of Luxembourg, University of Ottawa Link to publication DOI
23:00 30m Talk		A Study on Challenges of Testing Robotic Systems Research Papers Afsoon Afzal Carnegie Mellon University, Claire Le Goues Carnegie Mellon University, Michael Hilton Carnegie Mellon University, USA, Christopher Steven Timperley Carnegie Mellon University Link to publication DOI

01:00 - 02:00	RT4 - Misc 1Research Papers at Infante Chair(s): Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center

01:00 30m Talk		Determining Method-Call Sequences for Object Creation in C++ Research Papers Thomas Bach Heidelberg University, Ralf Pannemans SAP, Artur Andrzejak Heidelberg University Link to publication DOI
01:30 30m Talk		NodeRacer: Event Race Detection for Node.js Applications Research Papers André T. Endo Federal University of Technology - Paraná (UTFPR), Anders Møller Aarhus University, Denmark Link to publication DOI

	09:30 - 10:30	Keynote 2Research Papers at Plenary Room Chair(s): Luís Cruz Deflt University of Technology

10:45 - 12:15	RT6 - Web TestingResearch Papers at Infante +11h Chair(s): José Campos University of Lisbon, Portugal

10:45 30m Talk		Fostering the Diversity of Exploratory Testing in Web Applications Research Papers Julien Leveau LaBRI, Xavier Blanc LaBRI, Laurent Réveillère LaBRI, Jean-Rémy Falleri Bordeaux INP, Romain Rouvoy Univ. Lille / Inria / IUF Link to publication DOI
11:15 30m Talk		Dependency-Aware Web Test Generation Research Papers Matteo Biagiola Fondazione Bruno Kessler (FBK), Andrea Stocco Università della Svizzera italiana (USI), Filippo Ricca Università di Genova, Paolo Tonella Università della Svizzera Italiana (USI) Link to publication DOI
11:45 30m Talk		Metamorphic Security Testing for Web Systems Research Papers Phu X. Mai University of Luxembourg, Fabrizio Pastore University of Luxembourg, Arda Goknil SnT, University of Luxembourg, Lionel Briand University of Luxembourg, University of Ottawa Link to publication DOI

13:45 - 15:15	RT7 - Optimizing TestingResearch Papers at Infante +11h Chair(s): Fabiano Ferrari Federal University of São Carlos

13:45 30m Talk		Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations Research Papers Marcio Augusto Guimarães Federal University of Alagoas (UFAL), Leo Fernandes Federal Institute of Alagoas (IFAL), Márcio Ribeiro Federal University of Alagoas, Brazil, Marcelo d'Amorim Federal University of Pernambuco, Rohit Gheyi Federal University of Campina Grande Link to publication DOI
14:15 30m Talk		Massively Parallel, Highly Efficient, but What About the Test Suite Quality? Applying Mutation Testing to GPU Programs Research Papers Qianqian Zhu TU Delft, Andy Zaidman Delft University of Technology Link to publication DOI Pre-print
14:45 30m Talk		STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases Research Papers Abdullah Alsharif The University of Sheffield, Gregory Kapfhammer Allegheny College, USA, Phil McMinn University of Sheffield Link to publication DOI

15:30 - 17:00	RT9 - Empirical Analysis and Program RepairResearch Papers at Farfetch (D. Maria) +11h Chair(s): Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center

15:30 30m Talk		An Empirical Analysis of Blind Tests Research Papers Kesina Baral George Mason University, Jeff Offutt George Mason University Link to publication DOI
16:00 30m Talk		A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite Development Research Papers Maurizio Leotta Università di Genova, Matteo Biagiola Fondazione Bruno Kessler (FBK), Filippo Ricca Università di Genova, Mariano Ceccato University of Verona, Paolo Tonella Università della Svizzera Italiana (USI) Link to publication DOI
16:30 30m Talk		Human-In-The-Loop Automatic Program Repair Research Papers Marcel Böhme Monash University, Australia, Charaka Geethal Monash University, Van-Thuan Pham Monash University Link to publication DOI

15:30 - 17:00	RT8 - Misc 2Journal-First Papers / Research Papers at Infante +11h Chair(s): Alin Stefanescu University of Bucharest

15:30 30m Talk		Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms Research Papers Xin Yin New Jersey Institute of Technology, Iulian Neamtiu New Jersey Institute of Technology, USA, Saketan Patil New Jersey Institute of Technology, Sean Andrews New Jersey Institute of Technology Link to publication DOI
16:00 30m Talk		CBR: Controlled Burst Recording Research Papers Oscar Cornejo University of Milano Bicocca, Italy, Daniela Briola University of Milano Bicocca, Daniela Micucci University of Milano Bicocca, Leonardo Mariani University of Milano Bicocca Link to publication DOI
16:30 30m Talk		Mahtab: Phase-wise acceleration of regression testing for C Journal-First Papers Shouvick Mondal IIT Madras, India, Rupesh Nasre IIT Madras, India Link to publication DOI Media Attached

21:45 - 23:15	RT6 - Web TestingResearch Papers at Infante Chair(s): Fabiano Ferrari Federal University of São Carlos

21:45 30m Talk		Fostering the Diversity of Exploratory Testing in Web Applications Research Papers Julien Leveau LaBRI, Xavier Blanc LaBRI, Laurent Réveillère LaBRI, Jean-Rémy Falleri Bordeaux INP, Romain Rouvoy Univ. Lille / Inria / IUF Link to publication DOI
22:15 30m Talk		Dependency-Aware Web Test Generation Research Papers Matteo Biagiola Fondazione Bruno Kessler (FBK), Andrea Stocco Università della Svizzera italiana (USI), Filippo Ricca Università di Genova, Paolo Tonella Università della Svizzera Italiana (USI) Link to publication DOI
22:45 30m Talk		Metamorphic Security Testing for Web Systems Research Papers Phu X. Mai University of Luxembourg, Fabrizio Pastore University of Luxembourg, Arda Goknil SnT, University of Luxembourg, Lionel Briand University of Luxembourg, University of Ottawa Link to publication DOI

00:45 - 02:15	RT7 - Optimizing TestingResearch Papers at Infante Chair(s): Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center

00:45 30m Talk		Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations Research Papers Marcio Augusto Guimarães Federal University of Alagoas (UFAL), Leo Fernandes Federal Institute of Alagoas (IFAL), Márcio Ribeiro Federal University of Alagoas, Brazil, Marcelo d'Amorim Federal University of Pernambuco, Rohit Gheyi Federal University of Campina Grande Link to publication DOI
01:15 30m Talk		Massively Parallel, Highly Efficient, but What About the Test Suite Quality? Applying Mutation Testing to GPU Programs Research Papers Qianqian Zhu TU Delft, Andy Zaidman Delft University of Technology Link to publication DOI Pre-print
01:45 30m Talk		STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases Research Papers Abdullah Alsharif The University of Sheffield, Gregory Kapfhammer Allegheny College, USA, Phil McMinn University of Sheffield Link to publication DOI

02:30 - 04:00	RT9 - Empirical Analysis and Program RepairResearch Papers at Farfetch (D. Maria) Chair(s): Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center

02:30 30m Talk		An Empirical Analysis of Blind Tests Research Papers Kesina Baral George Mason University, Jeff Offutt George Mason University Link to publication DOI
03:00 30m Talk		A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite Development Research Papers Maurizio Leotta Università di Genova, Matteo Biagiola Fondazione Bruno Kessler (FBK), Filippo Ricca Università di Genova, Mariano Ceccato University of Verona, Paolo Tonella Università della Svizzera Italiana (USI) Link to publication DOI
03:30 30m Talk		Human-In-The-Loop Automatic Program Repair Research Papers Marcel Böhme Monash University, Australia, Charaka Geethal Monash University, Van-Thuan Pham Monash University Link to publication DOI

02:30 - 04:00	RT8 - Misc 2Research Papers / Journal-First Papers at Infante

02:30 30m Talk		Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms Research Papers Xin Yin New Jersey Institute of Technology, Iulian Neamtiu New Jersey Institute of Technology, USA, Saketan Patil New Jersey Institute of Technology, Sean Andrews New Jersey Institute of Technology Link to publication DOI
03:00 30m Talk		CBR: Controlled Burst Recording Research Papers Oscar Cornejo University of Milano Bicocca, Italy, Daniela Briola University of Milano Bicocca, Daniela Micucci University of Milano Bicocca, Leonardo Mariani University of Milano Bicocca Link to publication DOI
03:30 30m Talk		Mahtab: Phase-wise acceleration of regression testing for C Journal-First Papers Shouvick Mondal IIT Madras, India, Rupesh Nasre IIT Madras, India Link to publication DOI Media Attached

09:00 - 10:00	RT10 - Misc 3Research Papers at Infante +11h Chair(s): Thomas Durieux KTH Royal Institute of Technology, Sweden

09:00 30m Talk		A Framework for In-Vivo Testing of Mobile Applications Research Papers Mariano Ceccato University of Verona, Davide Corradini Fondazione Bruno Kessler, Luca Gazzola Università degli Studi di Milano-Bicocca, Fitsum Kifetew Fondazione Bruno Kessler, Leonardo Mariani University of Milano Bicocca, Matteo Orru University of Milano Bicocca, Paolo Tonella Università della Svizzera Italiana (USI) Link to publication DOI
09:30 30m Talk		Prioritizing Runtime Verification Violations Research Papers Breno Miranda Federal University of Pernambuco, Igor Lima Federal University of Pernambuco, Owolabi Legunsen Cornell University, Marcelo d'Amorim Federal University of Pernambuco Link to publication DOI

11:15 - 12:15	Open Steering Commitee & ICST 2021 PresentationResearch Papers at Plenary Room Chair(s): Shin Yoo Korea Advanced Institute of Science and Technology

11:15 60m Meeting		Open Steering Commitee & ICST 2021 Presentation Research Papers

13:45 - 14:45	Keynote 3Research Papers at Plenary Room Chair(s): Rui Abreu Faculty of Engineering, University of Porto, Portugal

13:45 60m Keynote		SunDew: Systematic Automated Security Testing Research Papers Franjo Ivancic Google

20:00 - 21:00	RT10 - Misc 3Research Papers at Infante Chair(s): Luís Cruz Deflt University of Technology

20:00 30m Talk		A Framework for In-Vivo Testing of Mobile Applications Research Papers Mariano Ceccato University of Verona, Davide Corradini Fondazione Bruno Kessler, Luca Gazzola Università degli Studi di Milano-Bicocca, Fitsum Kifetew Fondazione Bruno Kessler, Leonardo Mariani University of Milano Bicocca, Matteo Orru University of Milano Bicocca, Paolo Tonella Università della Svizzera Italiana (USI) Link to publication DOI
20:30 30m Talk		Prioritizing Runtime Verification Violations Research Papers Breno Miranda Federal University of Pernambuco, Igor Lima Federal University of Pernambuco, Owolabi Legunsen Cornell University, Marcelo d'Amorim Federal University of Pernambuco Link to publication DOI

Testing Tools TrackICST 2020

Program Display Configuration

Sun 25 OctDisplayed time zone: Lisbon change

Mon 26 OctDisplayed time zone: Lisbon change

Tue 27 OctDisplayed time zone: Lisbon change

Accepted Papers

Call for Papers

Areas of interest:

Evaluation:

Submission​:

Presentation format:

René Just

University of Washington, USA

Andy Zaidman

Delft University of Technology

Netherlands

Pekka Aho

Open University of the Netherlands

Netherlands

Jonathan Bell

Northeastern University, USA

José Campos

University of Lisbon, Portugal

Portugal

Luís Cruz

Deflt University of Technology

Netherlands

Xavier Devroey

Delft University of Technology

Netherlands

Alessio Gambi

University of Passau

Italy

Rahul Gopinath

CISPA, Germany

Germany

Marko Ivanković

Google; Universität Passau

Croatia

Gregory Kapfhammer

Allegheny College, USA

United States

Martin Kellogg

University of Washington, Seattle

United States

Ali Parsai

University of Antwerp

Belgium

Goran Petrović

Google

Croatia

Ajitha Rajan

University of Edinburgh

United Kingdom

José Miguel Rojas

University of Leicester, UK

United Kingdom

Andreas Stahlbauer

University of Passau

Germany

Oscar Luis Vera Pérez

INRIA

Jie Zhang

UCL

Sun 25 Oct
Displayed time zone: Lisbon change

Mon 26 Oct
Displayed time zone: Lisbon change

Tue 27 Oct
Displayed time zone: Lisbon change

Submission: