Write a Blog >>
NEXTA 2021
Fri 16 Apr 2021
co-located with ICST 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

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 09:15
09:00
15m
Day opening
Intro & Welcome
ICST Research Papers

09:15 - 10:15
Testing Concurrent and Quantum SystemsICST Research 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
ICST Research Papers
09:45
30m
Paper
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs
ICST Research Papers
Shaukat Ali Simula Research Laboratory, Norway, Paolo Arcaini National Institute of Informatics , Xinyi Wang , Tao Yue Nanjing University of Aeronautics and Astronautics
10:45 - 12:00
Keynote 1ICST Research Papers at Porto de Galinhas
Chair(s): Ana Paiva Faculty of Engineering of the University of Porto
10:45
75m
Keynote
Keynote Talk - Fuzzing, symbolic execution, and synthesis for testing
ICST Research Papers
I: Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center
13:00 - 14:30
Testing and LearningICST Research Papers at Porto de Galinhas
Chair(s): Andrea Stocco Università della Svizzera italiana (USI)
13:00
30m
Paper
Fail-Safe Execution of Deep Learning based Systems through Uncertainty Monitoring
ICST Research Papers
Michael Weiss Università della Svizzera Italiana (USI), Paolo Tonella USI Lugano, Switzerland
Pre-print
13:30
30m
Paper
A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding
ICST Research Papers
Maryam Vahdat Pour , Zhuo Li , Lei Ma University of Alberta, Hadi Hemmati University of Calgary
Pre-print
14:00
30m
Paper
Learning-Based Fuzzing of IoT Message Brokers
ICST Research Papers
Bernhard Aichernig Graz University of Technology, Edi Muskardin , Andrea Pferscher Institute of Software Technology, Graz University of Technology
Pre-print Media Attached File Attached
15:00 - 16:30
Models, Testing and VerificationICST Research Papers at Porto de Galinhas
Chair(s): Mike Papadakis University of Luxembourg, Luxembourg
15:00
30m
Paper
Modeling with Mocking
ICST Research Papers
Jouke Stoel CWI, Jurgen Vinju CWI, Netherlands, Tijs van der Storm CWI & University of Groningen, Netherlands
Pre-print
15:30
30m
Paper
Uncertainty-aware Exploration in Model-based Testing
ICST Research Papers
Matteo Camilli Free University of Bozen-Bolzano, Angelo Gargantini University of Bergamo, Patrizia Scandurra University of Bergamo, Italy, Catia Trubiani Gran Sasso Science Institute
Pre-print
16:00
30m
Paper
Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification
ICST Research Papers
Leopoldo Teixeira Federal University of Pernambuco, Breno Miranda Federal University of Pernambuco, Henrique Rebelo Universidade Federal de Pernambuco, Marcelo d'Amorim Federal University of Pernambuco
Pre-print

Wed 14 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:15 - 10:45
Slicing and Static AnalysisICST Research Papers at Porto de Galinhas
Chair(s): Leopoldo Teixeira Federal University of Pernambuco
09:15
30m
Paper
Efficiently Finding Data Flow SubsumptionsDistinguished Paper Award
ICST Research Papers
09:45
30m
Paper
MANDOLINE: Dynamic Slicing of Android Applications with Trace-Based Alias AnalysisDistinguished Paper Award
ICST Research Papers
Khaled Ahmed , Mieszko Lis , Julia Rubin University of British Columbia, Canada
Pre-print
10:15
30m
Paper
Address-Aware Query Caching for Symbolic Execution
ICST Research Papers
David Trabish Tel Aviv University, Israel, Shachar Itzhaky Technion, Noam Rinetzky
Pre-print
11:15 - 12:30
Keynote 2ICST Research Papers at Porto de Galinhas
Chair(s): Fabiano Ferrari Federal 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
ICST Research Papers
I: Guilherme Horta Travassos Federal University of Rio de Janeiro
12:30 - 13:00
12:30
10m
Awards
Award Session
ICST Research Papers

12:40
10m
Awards
Assessing Oracle Quality with Checked CoverageMost Influential Paper Award
ICST Research Papers
David Schuler , Andreas Zeller CISPA Helmholtz Center for Information Security
Link to publication DOI
12:50
10m
Awards
Experiences of System-Level Model-Based GUI Testing of an Android ApplicationMost Influential Paper Award
ICST Research Papers
Tommi Takala , Mika Katara , Julian Harty Commercetest Limited
Link to publication DOI
14:00 - 15:00
Test ReuseICST Research Papers at Porto de Galinhas
Chair(s): Paolo Tonella USI Lugano, Switzerland
14:00
30m
Paper
Self determination: A comprehensive strategy for making automated tests more effective and efficient
ICST Research Papers
Kesina Baral , Jeff Offutt George Mason University, Fiza Mulla
14:30
30m
Paper
Artefact Relation Graphs for Unit Test Reuse Recommendation
ICST Research Papers
Robert White University College London, UK, Jens Krinke University College London, Earl T. Barr University College London, UK, Federica Sarro University College London, Chaiyong Rakhitwetsagul Mahidol University, Thailand
15:30 - 17:00
Faults and Fault InjectionICST Research Papers at Porto de Galinhas
Chair(s): André T. Endo Federal University of Technology - Paraná (UTFPR)
15:30
30m
Paper
An Empirical Study of Flaky Tests in Python
ICST Research Papers
Martin Gruber BMW Group, Stephan Lukasczyk University of Passau, Florian Kroiß , Gordon Fraser University of Passau
Pre-print
16:00
30m
Paper
Fast Kernel Error Propagation Analysis in Virtualized Environments
ICST Research Papers
Nicolas Coppik TU Darmstadt, Oliver Schwahn TU Darmstadt, Neeraj Suri
16:30
30m
Paper
Dissecting Strongly Subsuming Second-Order Mutants
ICST Research Papers
João Paulo Diniz Federal University of Minas Gerais, Brazil, Chu-Pan Wong Carnegie Mellon University, USA, Christian Kästner Carnegie Mellon University, Eduardo Figueiredo Federal University of Minas Gerais, Brazil

Thu 15 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:15 - 10:45
Autonomous and Cyber-Physical SystemsICST Research Papers at Porto de Galinhas
Chair(s): Paolo Arcaini National Institute of Informatics
09:15
30m
Paper
IoTBox: Sandbox Mining to Prevent Interaction Threats in IoT Systems
ICST Research Papers
Hong Jin Kang , David Lo Singapore Management University, Sheng Qin Sim
09:45
30m
Paper
Quality Metrics and Oracles for Autonomous Vehicles Testing
ICST Research Papers
Gunel Jahangirova USI Lugano, Switzerland, Andrea Stocco Università della Svizzera italiana (USI), Paolo Tonella USI Lugano, Switzerland
Pre-print
10:15
30m
Paper
Anomaly Detection with Digital Twin in Cyber-Physical Systems
ICST Research Papers
Xu Qinghua , Shaukat Ali Simula Research Laboratory, Norway, Tao Yue Nanjing University of Aeronautics and Astronautics
11:15 - 12:30
Keynote 3ICST Research Papers at Porto de Galinhas
Chair(s): Robert Hierons University of Sheffield
11:15
75m
Talk
Keynote Talk - Testing Machine Learning-Enabled Systems
ICST Research Papers
I: Lionel Briand University of Luxembourg and University of Ottawa
13:00 - 14:00
ICST Steering Committee meetingICST Research Papers at Porto de Galinhas
13:00
60m
Meeting
ICST Steering Committee meeting
ICST Research Papers

14:00 - 15:00
Program RepairICST Research Papers at Porto de Galinhas
Chair(s): Angelo Gargantini University of Bergamo
14:00
30m
Paper
Automatic Program Repair as Semantic Suggestions: An Empirical Study
ICST Research Papers
Diogo Campos , André Restivo LIACC, Universidade do Porto, Porto, Portugal, Hugo Sereno Ferreira Faculty of Engineering, University of Porto, Portugal, Afonso Ramos Faculty of Engineering of the University of Porto
14:30
30m
Paper
Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods
ICST Research Papers
Amirfarhad Nilizadeh University of Central Florida, Gary Leavens University of Central Florida, Xuan-Bach D. Le Singapore Management University, Singapore, Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center, David Cok CEA, LIST, Software Safety and Security Laboratory
15:30 - 17:00
Empirical and User StudiesICST Research Papers at Porto de Galinhas
Chair(s): Michael Felderer University of Innsbruck
15:30
30m
Paper
A Large-scale Study on API Misuses in the Wild
ICST Research Papers
Xia Li Kennesaw State University, Jiajun Jiang Tianjin University, China, Samuel Benton The University of Texas at Dallas, Yingfei Xiong Peking University, Lingming Zhang UIUC
16:00
30m
Paper
System and Software Testing in Automotive: an Empirical Study on Process Improvement Areas
ICST Research Papers
16:30
30m
Paper
Simulation for Robotics Test Automation: Developer Perspectives
ICST Research Papers
Afsoon Afzal Carnegie Mellon University, Deborah S. Katz Carnegie Mellon University, Claire Le Goues Carnegie Mellon University, Christopher Steven Timperley Carnegie Mellon University