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-catering
10:30 - 11:00: Catering - Coffee Break
icst-2020-Industry
11:00 - 12:30: Industry Track - IT1 - Test Generation & Refactoring at Farfetch (D. Maria)
icst-2020-Industry11:00 - 11:30
Talk
Marco PistoiaJPMorgan Chase & Co, Peng LiuGoogle, Chun-Fu Richard ChenIBM, Shaohan HuIBM, Stephen WoodIBM
icst-2020-Industry11:30 - 12:00
Talk
Jannik FischbachQualicen GmbH, Andreas VogelsangTU Berlin, Dominik SpiesQualicen GmbH, Andreas WehrleQualicen GmbH, Maximilian JunkerQualicen GmbH, Dietmar FreudensteinAllianz Deutschland AG
icst-2020-Industry12:00 - 12:30
Talk
Elodie BernardFEMTO-ST Institute, Univ. Bourgogne Franche-Comté, Sogeti, Julien BotellaSmartesting, Fabrice AmbertFEMTO-ST Institute, Bruno LegeardFEMTO-ST / DISC, Mark UttingUniversity of the Sunshine Coast
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-catering
12:30 - 14:00: Catering - Lunch
icst-2020-catering12:30 - 14:00
Lunch
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
Pre-print
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-catering
10:30 - 11:00: Catering - Coffee Break
icst-2020-Industry
11:00 - 12:30: Industry Track - IT2 - Misc at Farfetch (D. Maria)
icst-2020-Industry11:00 - 11:30
Talk
Max FrieseChristian-Albrechts-Universität zu Kiel, Johannes TraubDaimler AG, Dirk NowotkaChristian-Albrechts-Universität zu Kiel
icst-2020-Industry11:30 - 12:00
Talk
Thorsten WuenscheSAP SE, Artur AndrzejakHeidelberg University, Sascha SchwedesSAP SE
icst-2020-Industry12:00 - 12:30
Talk
Supriya AgrawalTata Consultancy Services Ltd. (TCS), R VenkateshTata Consultancy Services Ltd. (TCS), Ulka ShrotriTata Consultancy Services Ltd. (TCS), Amey ZareTata Consultancy Services Ltd. (TCS), Sagar VermaTata Consultancy Services Ltd. (TCS)
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-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-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 LegunsenCornell University, Marcelo d'AmorimFederal University of Pernambuco
icst-2020-Industry
12:00 - 13:00: Industry Track - IT3 - Safety & Security at Farfetch (D. Maria)
icst-2020-Industry12:00 - 12:30
Talk
Alessandro CalòTechnical University of Munich, Paolo ArcainiNational Institute of Informatics , Shaukat AliSimula Research Laboratory, Florian HauerTechnical University of Munich, Fuyuki IshikawaNational Institute of Informatics
Pre-print
icst-2020-Industry12:30 - 13:00
Talk
Vaggelis AtlidakisColumbia University, Patrice GodefroidMicrosoft Research, Marina PolishchukMicrosoft
icst-2020-catering
12:30 - 14:00: Catering - Lunch

Call for Papers

ICST 2020 invites high quality submissions in all areas of software testing, verification, and validation. The industry track has the same topics and requires the same rigorousness as the research track. However, the industry track papers should prioritize impact and realism over novelty. We expect that industry track publications report useful testing tools, successful stories and experiences when applying software testing theories and methodologies into practice, or promising prototypes that have the potential to impact practice in the next few years. Ideally they should be evaluated on real-world, industrial data, and discuss non-functional aspects such as scalability and reliability, and also compare to pre-existing industrial best practices. The industry track papers will be published in the ICST 2020 proceedings and listed by IEEE databases.

Topics of interest include, but is not limited to, the following:

  • Domain specific testing, such as: Autonomous vehicles, advanced control systems, mobile or web app testing, embedded systems testing, concurrent systems, GUI testing, etc.
  • Formal verification
  • Model based testing
  • Model checking
  • Search based software testing
  • Security testing
  • Software reliability
  • Test automation
  • Testability and design
  • Testing and development processes
  • Testing education
  • Testing / debugging frameworks and tools
  • Applications of software testing theories in practice
  • Empirical studies
  • Experience reports

Each submission will be reviewed by at least three members of the ICST Program Committee.

Format

Industry papers must conform to the two-column IEEE conference publication format. Templates for LaTeX and Microsoft Word are available from http://www.ieee.org/conferences_events/conferences/publishing/templates.html: please use the letter format template and conference option.

Papers should be submitted in the PDF format: they must not exceed ten pages, plus up to two pages of references. Submissions will be handled via EasyChair.

Papers must neither have been previously accepted for publication nor be under submission in another conference or journal.

For your paper to be published in the ICST 2020 conference proceedings, at least one of the authors of the paper must register for the conference and confirm that she/he will present the paper in person.

Submission Site: https://easychair.org/conferences/?conf=icst2020

Important Dates (all dates are AoE)

  • October 14th, 2019: Submission of Industry Track Papers as well as research papers
  • December 10th, 2019: Author Notification
  • Main Conference: March 23-27th, 2020

Double Blind

Industry track papers do not need to be double-blinded. Since industry papers typically rely heavily on the industrial/practical context in which the work was carried out it would be too much to ask to require this context to be anonymized. Please contact the industry track chairs if you have more questions.

FAQ

Q: Does the industry track accept abstracts or short papers**?**

A: No. The industry track has the same rigorousness as the research papers, therefore, the industry track papers need to present the motivation, methodology, design of experiments / case studies, results, discussions, and related work in a clear and comprehensive way. Abstracts or short papers don't have enough room to incorporate these required and important contents.

Q: My paper has less than 10 pages, can I submit it to the industry track?

A: Yes, as long as your paper clearly presents the motivation, methodology, design of experiments / case studies, results, discussions, and related work.

Questions? Use the ICST Industry Track contact form.