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

Call for Workshops

The IEEE International Conference on Software Testing, Verification, and Validation (ICST) is the premier conferences for research in all areas related to software quality. The conference has a history of hosting successful workshops that provide collaborative forums for participants to exchange preliminary results, conduct intensive discussions on particular topics, and coordinate work among members of a technical community.

We encourage those interested in organizing a workshop to submit proposals focusing on any aspect of software testing, verification, and validation. These will be IEEE workshops, and organizers have the option of publishing the proceedings in the IEEE digital library.

How to Submit

Submit your workshop proposal by email: [email protected]

Proposals should provide the following required information. We suggest a length of about 2–3 pages.

  • Title: Workshop name and acronym
  • List of organizers and contact information
  • Workshop summary: Provide the workshop title and a brief abstract of the goals and format of the workshop. If your workshop is accepted, this information will be placed on the ICST web site.
  • Workshop theme, goals, and relevance: Briefly describe the workshop theme and its goals. Please provide a clear statement of why members of the ICST community will be interested in this workshop and what impact your workshop will have on them. Also state your success criteria for the workshop.
  • Workshop format, scheduling, required services
    • Describe how you plan to structure the workshop (e.g., paper presentations, invited talks, working sessions, panels, etc.). Briefly explain how this format will help achieve the workshop goals.
    • State how long the workshop will last (half day, 1 day). Please indicate whether you would prefer to have the workshop before or after the conference. We will do our best to accommodate your preferences, but cannot guarantee them.
    • List any known equipment or material needs for the workshop.
  • Proceedings
    • What types of contributions are accepted? Specify the types and length of papers (demos, short, long, position statements, etc.)
    • Program committee members names: include tentative and committed names
    • Describe the review and evaluation process to decide which submissions to accept
    • Link to preliminary workshop website and call for papers
    • Specify if the workshop intends to publish its proceedings through the IEEE digital library, or if different proceedings are planned
  • Participation: Expected background of attendees. Provide the expected or planned number of participants, submissions, and accepted papers. Please explain your reasoning to support this estimate. Include plans for soliciting and selecting workshop participants.
  • Success indicators of previous editions: If this workshop has been run previously, please describe where and when the workshop was held, the number of submissions it received, the number of submissions accepted, and the number of attendees. Include links to previous editions of the workshop, if any.
  • Organizers information: Please indicate the names of the workshop chairs and provide a short biography for each, highlighting any experience organizing workshops, conferences, or other relevant events. Also, indicate other organizing committee members if any.

Workshop co-Chairs

Ali Mesbah, University of British Columbia, amesbah@ece.ubc.ca

Jens Krinke, University College London, j.krinke@ucl.ac.uk

Important Dates

Submission: September 13, 2019

Notification of Acceptance: September 27, 2019

The planned dates for running the workshops are the first and last day of the conference, i.e., March 23 (Monday) and March 26 (Friday).

Early proposal submissions are welcome. We will try to provide early responses so that you will have more time to solicit your workshop papers.

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-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 LegunsenUniversity of Illinois at Urbana-Champaign, Marcelo d'AmorimFederal University of Pernambuco
Questions? Use the ICST Workshops contact form.