Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
VenueAlfândega Porto Congress Centre
Room nameInfante
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

This program is tentative and subject to change.

Sat 24 Oct

cciw-2020-papers
09:00 - 10:30: CCIW 2020 - Metrics and Ecosystem Session at Infante
cciw-2020-papers09:00 - 09:30
Talk
cciw-2020-papers09:30 - 10:00
Talk
Thomas BachHeidelberg University
cciw-2020-papers10:00 - 10:30
Talk
Fatih DegirmenciEricsson Software Technology
cciw-2020-papers
11:00 - 12:30: CCIW 2020 - Culprit Finding Session at Infante
cciw-2020-papers11:00 - 11:30
Talk
cciw-2020-papers11:30 - 12:00
Talk
Utsav ShahDropbox
cciw-2020-papers12:00 - 12:30
Talk
cciw-2020-papers
14:00 - 15:30: CCIW 2020 - Flaky Tests Session at Infante
cciw-2020-papers14:00 - 14:45
Talk
cciw-2020-papers14:45 - 15:30
Talk
Jonathan BellGeorge Mason University
cciw-2020-papers
16:00 - 18:00: CCIW 2020 - National Industry Panel Session at Infante
cciw-2020-papers16:00 - 16:30
Talk
cciw-2020-papers16:30 - 17:50
Meeting
cciw-2020-papers17:50 - 18:00
Talk

Sun 25 Oct

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

Mon 26 Oct

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 FalleriLaBRI, 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)
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

Tue 27 Oct

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
icst-2020-Testing-Tool-Track
12:00 - 13:00: Testing Tools Track - Testing tools at Infante
icst-2020-Testing-Tool-Track12:00 - 12:15
Talk
Sakshi Udeshi, Xingbin JiangSingapore University of Technology and Design, Sudipta ChattopadhyaySingapore University of Technology and Design
icst-2020-Testing-Tool-Track12:15 - 12:30
Talk
Antonia BertolinoCNR-ISTI, Guglielmo De AngelisCNR-IASI, CNR-ISTI, Breno MirandaFederal University of Pernambuco, Paolo TonellaUniversità della Svizzera Italiana (USI)
icst-2020-Testing-Tool-Track12:30 - 12:45
Talk
Van-Thuan PhamMonash University, Marcel BoehmeMonash University, Abhik RoychoudhuryNational University of Singapore
icst-2020-Testing-Tool-Track12:45 - 13:00
Talk
Shaobo HeUniversity of Utah, Michael EmmiAmazon Web Services, Gabriela CiocarlieSRI International

This program is tentative and subject to change.

Sat 24 Oct 2020

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Infante

This program is tentative and subject to change.