Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal

Dates
Tracks
You're viewing the program in a time zone which is different from your device's time zone - change time zone

This program is tentative and subject to change.

Sun 25 Oct
Times are displayed in time zone: (GMT) Azores change

icst-2020-papers
09:00 - 09:30: Research Papers - Intro & Welcome at Infante
icst-2020-papers
09:30 - 10:30: Research Papers - Keynote 1: Liana Hadarean - One-click formal methods Infante at Infante
icst-2020-papers
11:00 - 12:30: Research Papers - RT1 - Fault Localization and Debugging Infante at Infante
icst-2020-papers11:00 - 11:30
Talk
Mojdeh GolaghaTechnical University of Munich, Alexander PretschnerTechnical University of Munich, Lionel BriandUniversity of Luxembourg, University of Ottawa
icst-2020-papers11:30 - 12:00
Talk
Rawad Abou AssiAmerican University of Beirut, Wes MasriAmerican University of Beirut, Chadi TradAmerican University of Beirut
icst-2020-papers12:00 - 12:30
Talk
Xiangyu LiGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
icst-2020-papers
14:00 - 15:30: Research Papers - RT2 - Test Generation Infante at Infante
icst-2020-papers14:00 - 14:30
Talk
Patrick KreutzerFriedrich-Alexander University Erlangen-Nürnberg, Stefan KrausFriedrich-Alexander University Erlangen-Nürnberg, Michael PhilippsenFriedrich-Alexander University Erlangen-Nürnberg (FAU)
icst-2020-papers14:30 - 15:00
Talk
Kyle DeweyCalifornia State University, Northridge, Shant HairapetianUniversity of Oregon, Miroslav GavrilovUniversity of California, Santa Barbara
icst-2020-papers15:00 - 15:30
Talk
Hussein AlmullaUniversity of South Carolina, Gregory GayChalmers and the University of Gothenburg
Pre-print
icst-2020-papers
14:00 - 15:30: Research Papers - RT3 - Testing Deep Learning and Robotic Systems at Farfetch (D. Maria)
icst-2020-papers14:00 - 14:30
Talk
Gunel JahangirovaUniversità della Svizzera Italiana (USI), Paolo TonellaUniversità della Svizzera Italiana (USI)
Pre-print
icst-2020-papers14:30 - 15:00
Talk
Fitash Ul HaqUniversity of Luxembourg, Donghwan ShinKAIST, 291 Daehak-ro Yuseong-gu, Shiva NejatiUniversity of Luxembourg, Lionel BriandUniversity of Luxembourg, University of Ottawa
icst-2020-papers15:00 - 15:30
Talk
Afsoon AfzalCarnegie Mellon University, Claire Le GouesCarnegie Mellon University, Michael HiltonCarnegie Mellon University, USA, Christopher Steven TimperleyCarnegie Mellon University
Pre-print
icst-2020-papers
16:00 - 17:00: Research Papers - RT4 - Misc 1 at Infante
icst-2020-papers16:00 - 16:30
Talk
Thomas BachHeidelberg University, Ralf PannemansSAP, Artur AndrzejakHeidelberg University
icst-2020-papers16:30 - 17:00
Talk
André T. EndoFederal University of Technology - Paraná (UTFPR), Anders MøllerAarhus University
Pre-print
icst-2020-papers
16:00 - 18:00: Research Papers - RT5 - Testing for APIs at Farfetch (D. Maria)
icst-2020-papers16:00 - 16:30
Talk
Stefan KarlssonABB AB, Mälardalen University, Adnan CausevicMälardalen University, Daniel SundmarkMälardalen University
Pre-print
icst-2020-papers16:30 - 17:00
Talk
Emanuele ViglianisiFBK, Michael DallagoUniversity of Trento, Mariano CeccatoUniversity of Verona
icst-2020-papers17:00 - 17:30
Talk
Andrea ArcuriKristiania University College, Norway, Juan Pablo GaleottiUniversity of Buenos Aires
icst-2020-Testing-Tool-Track17:30 - 17:45
Talk
Hassan SartajQUEST - UAV Dependability Lab, Muhammad Zohaib IqbalNational University of Computer and Emerging Sciences, Muhammad Uzair KhanNational University of Computer and Emerging Sciences
icst-2020-Testing-Tool-Track17:45 - 18:00
Talk
Miroslav BuresCzech Technical University in Prague, Pavel HeroutUniversity of West Bohemia, Pilsen, CZ, Bestoun S. AhmedKarlstad University
Pre-print

Mon 26 Oct
Times are displayed in time zone: (GMT) Azores change

icst-2020-papers
09:00 - 09:30: Research Papers - Most Influential Paper Award at Infante
icst-2020-papers
09:30 - 10:30: Research Papers - Keynote 2 - Elvira Albert - Smart – and also reliable and gas-efficient – Contracts at Infante
icst-2020-papers
11:00 - 12:30: Research Papers - RT6 - Web Testing at Infante
icst-2020-papers11:00 - 11:30
Talk
Julien LeveauLaBRI, Xavier BlancLaBRI, Laurent RéveillèreLaBRI, Jean-Rémy FalleriBordeaux INP, Romain RouvoyUniv. Lille / Inria / IUF
icst-2020-papers11:30 - 12:00
Talk
Matteo BiagiolaFondazione Bruno Kessler (FBK), Andrea StoccoUniversità della Svizzera italiana (USI), Filippo RiccaUniversità di Genova, Paolo TonellaUniversità della Svizzera Italiana (USI)
Pre-print
icst-2020-papers12:00 - 12:30
Talk
Phu X. MaiUniversity of Luxembourg, Fabrizio PastoreUniversity of Luxembourg, Arda GoknilSnT, University of Luxembourg, Lionel BriandUniversity of Luxembourg, University of Ottawa
icst-2020-catering
12:30 - 14:00: Catering - Lunch
icst-2020-journal-first-papers
14:00 - 15:30: Journal-First Papers - Journal First 1 at Farfetch (D. Maria)
icst-2020-journal-first-papers14:00 - 14:30
Talk
Tao MaSimula Research Laboratory, Shaukat AliSimula Research Laboratory, Tao YueNanjing University of Aeronautics and Astronautics & Simula Research Laboratory
icst-2020-journal-first-papers14:30 - 15:00
Talk
Donghwan ShinKAIST, 291 Daehak-ro Yuseong-gu, Shin YooKorea Advanced Institute of Science and Technology, Mike PapadakisUniversity of Luxembourg, Doo-Hwan BaeKorea Advanced Institute of Science and Technology
icst-2020-journal-first-papers15:00 - 15:30
Talk
Fabian TrautschUniversity of Göttingen, Steffen HerboldUniversity of Göttingen, Jens GrabowskiUniversity of Göttingen
icst-2020-papers
14:00 - 15:30: Research Papers - RT7 - Optimizing Testing at Infante
icst-2020-papers14:00 - 14:30
Talk
Marcio Augusto GuimarãesFederal University of Alagoas (UFAL), Leo FernandesFederal Institute of Alagoas (IFAL), Márcio RibeiroFederal University of Alagoas, Brazil, Marcelo d'AmorimFederal University of Pernambuco, Rohit GheyiFederal University of Campina Grande
icst-2020-papers14:30 - 15:00
Talk
Qianqian ZhuTU Delft, Andy ZaidmanTU Delft
icst-2020-papers15:00 - 15:30
Talk
Abdullah AlsharifThe University of Sheffield, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield
icst-2020-catering
15:30 - 16:00: Catering - Coffee Break
icst-2020-papers
16:00 - 17:30: Research Papers - RT8 - Misc 2 at Infante
icst-2020-papers16:00 - 16:30
Talk
Xin YinNew Jersey Institute of Technology, Iulian NeamtiuNew Jersey Institute of Technology, Saketan PatilNew Jersey Institute of Technology, Sean AndrewsNew Jersey Institute of Technology
icst-2020-papers16:30 - 17:00
Talk
Oscar CornejoUniversity of Milano Bicocca, Italy, Daniela BriolaUniversity of Milano Bicocca, Daniela MicucciUniversity of Milano Bicocca, Leonardo MarianiUniversity of Milano Bicocca
icst-2020-journal-first-papers17:00 - 17:30
Talk
Shouvick MondalIIT Madras, India, Rupesh NasreIIT Madras, India
DOI Media Attached
icst-2020-papers
16:00 - 17:30: Research Papers - RT9 - Empirical Analysis and Program Repair at Farfetch (D. Maria)
icst-2020-papers16:00 - 16:30
Talk
Kesina BaralGeorge Mason University, Jeff OffuttGeorge Mason University
icst-2020-papers16:30 - 17:00
Talk
Maurizio LeottaUniversità di Genova, Matteo BiagiolaFondazione Bruno Kessler (FBK), Filippo RiccaUniversità di Genova, Mariano CeccatoUniversity of Verona, Paolo TonellaUniversità della Svizzera Italiana (USI)
icst-2020-papers17:00 - 17:30
Talk
Marcel BöhmeMonash University, Charaka GeethalMonash University, Van-Thuan PhamMonash University
Link to publication Pre-print

Tue 27 Oct
Times are displayed in time zone: (GMT) Azores change

icst-2020-papers
09:30 - 10:30: Research Papers - Keynote 3 - Franjo Ivancic - SunDew: Systematic Automated Security Testing at Infante
icst-2020-papers
11:00 - 12:00: Research Papers - RT10 - Misc 3 at Infante
icst-2020-papers11:00 - 11:30
Talk
Mariano CeccatoUniversity of Verona, Davide CorradiniFondazione Bruno Kessler, Luca Gazzola Università degli Studi di Milano-Bicocca, Fitsum KifetewFondazione Bruno Kessler, Leonardo MarianiUniversity of Milano Bicocca, Matteo OrruUniversity of Milano Bicocca, Paolo TonellaUniversità della Svizzera Italiana (USI)
icst-2020-papers11:30 - 12:00
Talk
Breno MirandaFederal University of Pernambuco, Igor LimaFederal University of Pernambuco, Owolabi LegunsenUniversity of Illinois at Urbana-Champaign, Marcelo d'AmorimFederal University of Pernambuco

Call for Journal-First Presentations

ICST is inviting journal-first presentations for papers published recently in prestigious software engineering journals in all areas of software testing, verification, and validation. This will both enrich the ICST program as well as offer the authors an opportunity to speak to the community.

Scope

We invite applications for journal papers published in:

  • Software Testing, Verification, and Reliability (STVR)
  • Journal of Systems and Software (JSS)
  • Information and Software Technology (IST)
  • Software Quality Journal (SQJ)

Other journals may be considered on a case-by-case basis.

A journal-first presentation submitted to ICST 2020 must adhere to the following criteria:

  • The paper was accepted for publication (i.e., the date of the acceptance notification) no earlier than October 1st 2018 and no later than October 1st 2019.
  • The paper is in the scope of the conference, as defined in the call for ICST 2020 research papers.
  • The paper reports completely new research results or presents novel contributions that were not previously reported in prior published work.
  • The paper has not been presented and is not under consideration for journal-first programs of other conferences.

Submission of Proposals

Authors of manuscripts that respect these criteria are invited to fill out this application form, including the paper title, authors, an extended abstract, a statement that attests the nature of journal-first paper, and a pointer to the original journal paper.

Evaluation and Selection

Authors will be invited to present their paper at ICST 2020 after a check that the paper is in scope for the conference and it adheres to the criteria above. The papers will not be reviewed again for technical content.

In case an exceptionally high number of proposals is received, presentation proposals will be prioritized according to their fit to the conference theme and structure of sessions. If there is further need to select from papers with the same priority, then they will be selected based on a lottery.

Publication

The journal-first manuscripts are published through the journals and will not be part of the ICST proceedings. The journal-first papers will be listed in the conference program and the proceeding will only contain the abstract and a pointer to the journal publication.

Presentation

If a submission is accepted for the journal-first program, at least one author of the associated journal paper must register and attend the conference to present the paper.

The journal-first manuscripts are published through the journals and will not be part of the ICST proceedings. The journal-first papers will be listed in the conference program.

At least one author of each presentation accepted for the journal-first program must register and attend the conference to present the paper.

Important Dates

Submission deadline: January 10, 2020

Notification: January 28, 2020

Submissions close at 23.59 AoE (Anywhere on Earth, UTC-12)

Journal-First Co-Chairs

Gordon Fraser, University of Passau

Maurício Aniche, Delft University of Technology