| 2021 | 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021 |
| 2021 | A Failed attempt at creating Guidelines for Visual GUI Testing: An industrial case study. Emil Alégroth, Elin Petersén, John Tinnerholm |
| 2021 | A Large-scale Study on API Misuses in the Wild. Xia Li, Jiajun Jiang, Samuel Benton, Yingfei Xiong, Lingming Zhang |
| 2021 | A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding. Maryam Vahdat Pour, Zhuo Li, Lei Ma, Hadi Hemmati |
| 2021 | Address-Aware Query Caching for Symbolic Execution. David Trabish, Shachar Itzhaky, Noam Rinetzky |
| 2021 | An Empirical Study of Flaky Tests in Python. Martin Gruber, Stephan Lukasczyk, Florian Kroiß, Gordon Fraser |
| 2021 | Applicable Micropatches and Where to Find Them: Finding and Applying New Security Hot Fixes to Old Software. Mac Malone, Yicheng Wang, Kevin Z. Snow, Fabian Monrose |
| 2021 | Artefact Relation Graphs for Unit Test Reuse Recommendation. Robert White, Jens Krinke, Earl T. Barr, Federica Sarro, Chaiyong Ragkhitwetsagul |
| 2021 | Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. Shaukat Ali, Paolo Arcaini, Xinyi Wang, Tao Yue |
| 2021 | Assisting Bug Report Assignment Using Automated Fault Localisation: An Industrial Case Study. Jeongju Sohn, Gabin An, Jingun Hong, Dongwon Hwang, Shin Yoo |
| 2021 | Automatic Program Repair as Semantic Suggestions: An Empirical Study. Diogo Campos, André Restivo, Hugo Sereno Ferreira, Afonso Ramos |
| 2021 | Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. Viktor Malík, Tomás Vojnar |
| 2021 | Boosting Exploratory Testing of Industrial Automation Systems with AI. Raphael Eidenbenz, Carsten Franke, Thanikesavan Sivanthi, Sandro Schönborn |
| 2021 | COSMO: Code Coverage Made Easier for Android. Andrea Romdhana, Mariano Ceccato, Gabriel Claudiu Georgiu, Alessio Merlo, Paolo Tonella |
| 2021 | Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification. Leopoldo Teixeira, Breno Miranda, Henrique Rebêlo, Marcelo d'Amorim |
| 2021 | Differential coverage: : automating coverage analysis. Henry Cox |
| 2021 | Digital Twin-based Anomaly Detection in Cyber-physical Systems. Qinghua Xu, Shaukat Ali, Tao Yue |
| 2021 | Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators. Markus Borg, Raja Ben Abdessalem, Shiva Nejati, François-Xavier Jegeden, Donghwan Shin |
| 2021 | Dissecting Strongly Subsuming Second-Order Mutants. João Paulo Diniz, Chu-Pan Wong, Christian Kästner, Eduardo Figueiredo |
| 2021 | Efficiently Finding Data Flow Subsumptions. Marcos Lordello Chaim, Kesina Baral, Jeff Offutt, Mario Concilio, Roberto P. A. Araujo |
| 2021 | Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV. Jonas Fritzsch, Tobias Schmid, Stefan Wagner |
| 2021 | Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods. Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach Dinh Le, Corina S. Pasareanu, David R. Cok |
| 2021 | Exploring the Triggering Modes of Spectrum-Based Fault Localization: An Industrial Case. Tung Dao, Max Wang, Na Meng |
| 2021 | Fail-Safe Execution of Deep Learning based Systems through Uncertainty Monitoring. Michael Weiss, Paolo Tonella |
| 2021 | Fast Kernel Error Propagation Analysis in Virtualized Environments. Nicolas Coppik, Oliver Schwahn, Neeraj Suri |
| 2021 | Industrial Oriented Evaluation of Fuzzing Techniques. Mingzhe Wang, Jie Liang, Chijin Zhou, Yuanliang Chen, Zhiyong Wu, Yu Jiang |
| 2021 | Industrial Scale Passive Testing with T-EARS. Daniel Flemström, Henrik Jonsson, Eduard Paul Enoiu, Wasif Afzal |
| 2021 | IoTBox: Sandbox Mining to Prevent Interaction Threats in IoT Systems. Hong Jin Kang, Sheng Qin Sim, David Lo |
| 2021 | Learning-Based Fuzzing of IoT Message Brokers. Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher |
| 2021 | Mandoline: Dynamic Slicing of Android Applications with Trace-Based Alias Analysis. Khaled Ahmed, Mieszko Lis, Julia Rubin |
| 2021 | Modeling with Mocking. Jouke Stoel, Tijs van der Storm, Jurgen J. Vinju |
| 2021 | PatrIoT: IoT Automated Interoperability and Integration Testing Framework. Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier J. A. Bellekens, Dani Almog, Pavel Herout |
| 2021 | Poster: Fuzz Testing of Quantum Program. Jiyuan Wang, Fuchen Ma, Yu Jiang |
| 2021 | Poster: Repair Cross Browser Layout Issues by Combining Learning and Search-based technique. Zhenyue Long, Guoquan Wu, Yifei Zhang, Wei Chen, Jun Wei |
| 2021 | Poster: Testing Complex Event Patterns. Pawel Maslanka, Bartosz Zielinski |
| 2021 | Prut4j: Protocol Unit Testing fo(u)r Java. Florian Joost Slob, Sung-Shik Jongmans |
| 2021 | Quality Metrics and Oracles for Autonomous Vehicles Testing. Gunel Jahangirova, Andrea Stocco, Paolo Tonella |
| 2021 | ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini |
| 2021 | RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzing. Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu |
| 2021 | STILE: a Tool for Parallel Execution of E2E Web Test Scripts. Dario Olianas, Maurizio Leotta, Filippo Ricca, Matteo Biagiola, Paolo Tonella |
| 2021 | Self determination: A comprehensive strategy for making automated tests more effective and efficient. Kesina Baral, Jeff Offutt, Fiza Mulla |
| 2021 | Simulation for Robotics Test Automation: Developer Perspectives. Afsoon Afzal, Deborah S. Katz, Claire Le Goues, Christopher Steven Timperley |
| 2021 | Summary of Hansie: Hybrid and consensus regression test prioritization. Shouvick Mondal, Rupesh Nasre |
| 2021 | Summary of Search-based Crash Reproduction using Behavioral Model Seeding. Pouria Derakhshanfar, Xavier Devroey, Gilles Perrouin, Andy Zaidman, Arie van Deursen |
| 2021 | Summary of: A Federated Society of Bots for Smart Contract Testing. Emanuele Viglianisi, Mariano Ceccato, Paolo Tonella |
| 2021 | Summary of: Adaptive Metamorphic Testing with Contextual Bandits. Helge Spieker, Arnaud Gotlieb |
| 2021 | Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks. Dhriti Khanna, Rahul Purandare, Subodh Sharma |
| 2021 | System and Software Testing in Automotive: an Empirical Study on Process Improvement Areas. Fabio Falcini, Giuseppe Lami |
| 2021 | Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa |
| 2021 | Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types. Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev |
| 2021 | Uncertainty-Wizard: Fast and User-Friendly Neural Network Uncertainty Quantification. Michael Weiss, Paolo Tonella |
| 2021 | Uncertainty-aware Exploration in Model-based Testing. Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Catia Trubiani |