ICST 2021
Mon 12 - Fri 16 April 2021
VenueICST 2021 is going virtual!
Room namePorto de Galinhas
Room InformationNo extra information available
Program

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

Tue 13 Apr
Times are displayed in time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 09:15
09:00
15m
Day opening
Intro & Welcome
Research Papers
09:15 - 10:15
Testing Concurrent and Quantum SystemsResearch Papers at Porto de Galinhas
Chair(s): Marcos Lordello Chaim
09:15
30m
Paper
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks
Research Papers
09:45
30m
Paper
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs
Research Papers
Shaukat AliSimula Research Laboratory, Norway, Paolo ArcainiNational Institute of Informatics , Xinyi Wang, Tao YueNanjing University of Aeronautics and Astronautics
10:45 - 12:00
Keynote 1Research Papers at Porto de Galinhas
Chair(s): Ana PaivaFaculty of Engineering of the University of Porto
10:45
75m
Keynote
Keynote Talk - Fuzzing, symbolic execution, and synthesis for testing
Research Papers
I: Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center
13:00 - 14:30
Testing and LearningResearch Papers at Porto de Galinhas
Chair(s): Andrea StoccoUniversità della Svizzera italiana (USI)
13:00
30m
Paper
Fail-Safe Execution of Deep Learning based Systems through Uncertainty Monitoring
Research Papers
Michael WeissUniversità della Svizzera Italiana (USI), Paolo TonellaUSI Lugano, Switzerland
Pre-print
13:30
30m
Paper
A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding
Research Papers
Maryam Vahdat Pour, Zhuo Li, Lei MaUniversity of Alberta, Hadi HemmatiUniversity of Calgary
Pre-print
14:00
30m
Paper
Learning-Based Fuzzing of IoT Message Brokers
Research Papers
Bernhard AichernigGraz University of Technology, Edi Muskardin, Andrea PferscherInstitute of Software Technology, Graz University of Technology
Pre-print Media Attached File Attached
15:00 - 16:30
Models, Testing and VerificationResearch Papers at Porto de Galinhas
Chair(s): Mike PapadakisUniversity of Luxembourg, Luxembourg
15:00
30m
Paper
Modeling with Mocking
Research Papers
Jouke StoelCWI, Jurgen VinjuCWI, Netherlands, Tijs van der StormCWI & University of Groningen, Netherlands
Pre-print
15:30
30m
Paper
Uncertainty-aware Exploration in Model-based Testing
Research Papers
Matteo CamilliFree University of Bozen-Bolzano, Angelo GargantiniUniversity of Bergamo, Patrizia ScandurraUniversity of Bergamo, Italy, Catia TrubianiGran Sasso Science Institute
Pre-print
16:00
30m
Paper
Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification
Research Papers
Leopoldo TeixeiraFederal University of Pernambuco, Breno MirandaFederal University of Pernambuco, Henrique RebeloUniversidade Federal de Pernambuco, Marcelo d'AmorimFederal University of Pernambuco
Pre-print

Wed 14 Apr
Times are displayed in time zone: Brasilia, Distrito Federal, Brazil change

09:15 - 10:45
Slicing and Static AnalysisResearch Papers at Porto de Galinhas
Chair(s): Leopoldo TeixeiraFederal University of Pernambuco
09:15
30m
Paper
Efficiently Finding Data Flow SubsumptionsDistinguished Paper Award
Research Papers
09:45
30m
Paper
MANDOLINE: Dynamic Slicing of Android Applications with Trace-Based Alias AnalysisDistinguished Paper Award
Research Papers
Khaled Ahmed, Mieszko Lis, Julia RubinUniversity of British Columbia, Canada
Pre-print
10:15
30m
Paper
Address-Aware Query Caching for Symbolic Execution
Research Papers
David TrabishTel Aviv University, Israel, Shachar ItzhakyTechnion, Noam Rinetzky
Pre-print
11:15 - 12:30
Keynote 2Research Papers at Porto de Galinhas
Chair(s): Fabiano FerrariFederal University of São Carlos
11:15
75m
Keynote
Keynote Talk - Some challenges and pitfalls in engineering contemporary software systems under the plague of defects
Research Papers
I: Guilherme Horta TravassosFederal University of Rio de Janeiro
14:00 - 15:00
Test ReuseResearch Papers at Porto de Galinhas
Chair(s): Paolo TonellaUSI Lugano, Switzerland
14:00
30m
Paper
Self determination: A comprehensive strategy for making automated tests more effective and efficient
Research Papers
Kesina Baral, Jeff OffuttGeorge Mason University, Fiza Mulla
14:30
30m
Paper
Artefact Relation Graphs for Unit Test Reuse Recommendation
Research Papers
Robert WhiteUniversity College London, UK, Jens KrinkeUniversity College London, Earl T. BarrUniversity College London, UK, Federica SarroUniversity College London, Chaiyong RakhitwetsagulMahidol University, Thailand
15:30 - 17:00
Faults and Fault InjectionResearch Papers at Porto de Galinhas
Chair(s): André T. EndoFederal University of Technology - Paraná (UTFPR)
15:30
30m
Paper
An Empirical Study of Flaky Tests in Python
Research Papers
Martin GruberBMW Group, Stephan LukasczykUniversity of Passau, Florian Kroiß, Gordon FraserUniversity of Passau
Pre-print
16:00
30m
Paper
Fast Kernel Error Propagation Analysis in Virtualized Environments
Research Papers
Nicolas CoppikTU Darmstadt, Oliver SchwahnTU Darmstadt, Neeraj Suri
16:30
30m
Paper
Dissecting Strongly Subsuming Second-Order Mutants
Research Papers
João Paulo DinizFederal University of Minas Gerais, Brazil, Chu-Pan WongCarnegie Mellon University, USA, Christian KaestnerCarnegie Mellon University, Eduardo FigueiredoFederal University of Minas Gerais, Brazil

Thu 15 Apr
Times are displayed in time zone: Brasilia, Distrito Federal, Brazil change

09:15 - 10:45
Autonomous and Cyber-Physical SystemsResearch Papers at Porto de Galinhas
Chair(s): Paolo ArcainiNational Institute of Informatics
09:15
30m
Paper
IoTBox: Sandbox Mining to Prevent Interaction Threats in IoT Systems
Research Papers
Hong Jin Kang, David LoSingapore Management University, Sheng Qin Sim
09:45
30m
Paper
Quality Metrics and Oracles for Autonomous Vehicles Testing
Research Papers
Gunel JahangirovaUSI Lugano, Switzerland, Andrea StoccoUniversità della Svizzera italiana (USI), Paolo TonellaUSI Lugano, Switzerland
Pre-print
10:15
30m
Paper
Anomaly Detection with Digital Twin in Cyber-Physical Systems
Research Papers
Xu Qinghua, Shaukat AliSimula Research Laboratory, Norway, Tao YueNanjing University of Aeronautics and Astronautics
11:15 - 12:30
Keynote 3Research Papers at Porto de Galinhas
Chair(s): Robert HieronsUniversity of Sheffield
11:15
75m
Talk
Keynote Talk - Testing Machine Learning-Enabled Systems
Research Papers
I: Lionel BriandUniversity of Luxembourg and University of Ottawa
13:00 - 14:00
ICST Steering Committee meetingResearch Papers at Porto de Galinhas
13:00
60m
Meeting
ICST Steering Committee meeting
Research Papers
14:00 - 15:00
Program RepairResearch Papers at Porto de Galinhas
Chair(s): Angelo GargantiniUniversity of Bergamo
14:00
30m
Paper
Automatic Program Repair as Semantic Suggestions: An Empirical Study
Research Papers
Diogo Campos, André RestivoLIACC, Universidade do Porto, Porto, Portugal, Hugo Sereno FerreiraFaculty of Engineering, University of Porto, Portugal, Afonso RamosFaculty of Engineering of the University of Porto
14:30
30m
Paper
Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods
Research Papers
Amirfarhad NilizadehUniversity of Central Florida, Gary LeavensUniversity of Central Florida, Xuan-Bach D. LeSingapore Management University, Singapore, Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center, David CokCEA, LIST, Software Safety and Security Laboratory
15:30 - 17:00
Empirical and User StudiesResearch Papers at Porto de Galinhas
Chair(s): Michael FeldererUniversity of Innsbruck
15:30
30m
Paper
A Large-scale Study on API Misuses in the Wild
Research Papers
Xia LiKennesaw State University, Jiajun JiangTianjin University, China, Samuel BentonThe University of Texas at Dallas, Yingfei XiongPeking University, Lingming ZhangUIUC
16:00
30m
Paper
System and Software Testing in Automotive: an Empirical Study on Process Improvement Areas
Research Papers
16:30
30m
Paper
Simulation for Robotics Test Automation: Developer Perspectives
Research Papers
Afsoon AfzalCarnegie Mellon University, Deborah S. KatzCarnegie Mellon University, Claire Le GouesCarnegie Mellon University, Christopher Steven TimperleyCarnegie Mellon University

Wed 14 Apr
Times are displayed in time zone: Brasilia, Distrito Federal, Brazil change