Table of Contents

• Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication DeadlocksDhriti Khanna, Rahul Purandare, Subodh Sharma 0001. 1-12 [doi]
• Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum ProgramsShaukat Ali 0001, Paolo Arcaini, Xinyi Wang, Tao Yue 0002. 13-23 [doi]
• Fail-Safe Execution of Deep Learning based Systems through Uncertainty MonitoringMichael Weiss, Paolo Tonella. 24-35 [doi]
• A Search-Based Testing Framework for Deep Neural Networks of Source Code EmbeddingMaryam Vahdat Pour, Zhuo Li, Lei Ma 0003, Hadi Hemmati. 36-46 [doi]
• Learning-Based Fuzzing of IoT Message BrokersBernhard K. Aichernig, Edi Muskardin, Andrea Pferscher. 47-58 [doi]
• Modeling with MockingJouke Stoel, Tijs van der Storm, Jurgen J. Vinju. 59-70 [doi]
• Uncertainty-aware Exploration in Model-based TestingMatteo Camilli, Angelo Gargantini, Patrizia Scandurra, Catia Trubiani. 71-81 [doi]
• Demystifying the Challenges of Formally Specifying API Properties for Runtime VerificationLeopoldo Teixeira, Breno Miranda, Henrique Rebêlo, Marcelo d'Amorim. 82-93 [doi]
• Efficiently Finding Data Flow SubsumptionsMarcos Lordello Chaim, Kesina Baral, Jeff Offutt, Mario Concilio, Roberto P. A. Araujo. 94-104 [doi]
• Mandoline: Dynamic Slicing of Android Applications with Trace-Based Alias AnalysisKhaled Ahmed 0004, Mieszko Lis, Julia Rubin. 105-115 [doi]
• Address-Aware Query Caching for Symbolic ExecutionDavid Trabish, Shachar Itzhaky, Noam Rinetzky. 116-126 [doi]
• Self determination: A comprehensive strategy for making automated tests more effective and efficientKesina Baral, Jeff Offutt, Fiza Mulla. 127-136 [doi]
• Artefact Relation Graphs for Unit Test Reuse RecommendationRobert White, Jens Krinke, Earl T. Barr, Federica Sarro, Chaiyong Ragkhitwetsagul. 137-147 [doi]
• An Empirical Study of Flaky Tests in PythonMartin Gruber, Stephan Lukasczyk, Florian Kroiß, Gordon Fraser 0001. 148-158 [doi]
• Fast Kernel Error Propagation Analysis in Virtualized EnvironmentsNicolas Coppik, Oliver Schwahn, Neeraj Suri. 159-170 [doi]
• Dissecting Strongly Subsuming Second-Order MutantsJoão P. Diniz, Chu-Pan Wong, Christian Kästner, Eduardo Figueiredo 0001. 171-181 [doi]
• IoTBox: Sandbox Mining to Prevent Interaction Threats in IoT SystemsHong Jin Kang, Sheng Qin Sim, David Lo 0001. 182-193 [doi]
• Quality Metrics and Oracles for Autonomous Vehicles TestingGunel Jahangirova, Andrea Stocco 0001, Paolo Tonella. 194-204 [doi]
• Digital Twin-based Anomaly Detection in Cyber-physical SystemsQingHua Xu, Shaukat Ali 0001, Tao Yue 0002. 205-216 [doi]
• Automatic Program Repair as Semantic Suggestions: An Empirical StudyDiogo Campos, André Restivo, Hugo Sereno Ferreira, Afonso Ramos. 217-228 [doi]
• Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal MethodsAmirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach D. Le, Corina S. Pasareanu, David R. Cok. 229-240 [doi]
• A Large-scale Study on API Misuses in the WildXia Li, Jiajun Jiang, Samuel Benton, Yingfei Xiong 0001, Lingming Zhang. 241-252 [doi]
• System and Software Testing in Automotive: an Empirical Study on Process Improvement AreasFabio Falcini, Giuseppe Lami. 253-262 [doi]
• Simulation for Robotics Test Automation: Developer PerspectivesAfsoon Afzal, Deborah S. Katz, Claire Le Goues, Christopher Steven Timperley. 263-274 [doi]
• Summary of: Adaptive Metamorphic Testing with Contextual BanditsHelge Spieker, Arnaud Gotlieb. 275-277 [doi]
• Summary of Hansie: Hybrid and consensus regression test prioritizationShouvick Mondal, Rupesh Nasre. 278-280 [doi]
• Summary of Search-based Crash Reproduction using Behavioral Model SeedingPouria Derakhshanfar, Xavier Devroey, Gilles Perrouin, Andy Zaidman, Arie van Deursen. 281 [doi]
• Summary of: A Federated Society of Bots for Smart Contract TestingEmanuele Viglianisi, Mariano Ceccato, Paolo Tonella. 282-283 [doi]
• Assisting Bug Report Assignment Using Automated Fault Localisation: An Industrial Case StudyJeongju Sohn, Gabin An, Jingun Hong, Dongwon Hwang, Shin Yoo. 284-294 [doi]
• Targeting Patterns of Driving Characteristics in Testing Autonomous Driving SystemsPaolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa. 295-305 [doi]
• Industrial Oriented Evaluation of Fuzzing TechniquesMingzhe Wang, Jie Liang, Chijin Zhou, Yuanliang Chen, Zhiyong Wu, Yu Jiang 0001. 306-317 [doi]
• Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving TypesDaniil Stepanov, Marat Akhin, Mikhail A. Belyaev. 318-328 [doi]
• Automatically Checking Semantic Equivalence between Versions of Large-Scale C ProjectsViktor Malík, Tomás Vojnar. 329-339 [doi]
• A Failed attempt at creating Guidelines for Visual GUI Testing: An industrial case studyEmil Alégroth, Elin Petersén, John Tinnerholm. 340-350 [doi]
• Industrial Scale Passive Testing with T-EARSDaniel Flemström, Henrik Jonsson, Eduard Paul Enoiu, Wasif Afzal. 351-361 [doi]
• Boosting Exploratory Testing of Industrial Automation Systems with AIRaphael Eidenbenz, Carsten Franke, Thanikesavan Sivanthi, Sandro Schönborn. 362-371 [doi]
• Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMVJonas Fritzsch, Tobias Schmid, Stefan Wagner 0001. 372-382 [doi]
• Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive SimulatorsMarkus Borg, Raja Ben Abdessalem, Shiva Nejati, François-Xavier Jegeden, Donghwan Shin 0001. 383-393 [doi]
• Applicable Micropatches and Where to Find Them: Finding and Applying New Security Hot Fixes to Old SoftwareMac Malone, Yicheng Wang, Kevin Z. Snow, Fabian Monrose. 394-405 [doi]
• Exploring the Triggering Modes of Spectrum-Based Fault Localization: An Industrial CaseTung Dao, Max Wang, Na Meng. 406-416 [doi]
• COSMO: Code Coverage Made Easier for AndroidAndrea Romdhana, Mariano Ceccato, Gabriel Claudiu Georgiu, Alessio Merlo, Paolo Tonella. 417-423 [doi]
• Differential coverage: : automating coverage analysisHenry Cox. 424-429 [doi]
• RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzingCiprian Paduraru, Miruna Paduraru, Alin Stefanescu. 430-435 [doi]
• Uncertainty-Wizard: Fast and User-Friendly Neural Network Uncertainty QuantificationMichael Weiss, Paolo Tonella. 436-441 [doi]
• ROBY: a Tool for Robustness Analysis of Neural Network ClassifiersPaolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini. 442-447 [doi]
• Prut4j: Protocol Unit Testing fo(u)r JavaFlorian Joost Slob, Sung-Shik Jongmans. 448-453 [doi]
• PatrIoT: IoT Automated Interoperability and Integration Testing FrameworkMiroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier J. A. Bellekens, Dani Almog, Pavel Herout. 454-459 [doi]
• STILE: a Tool for Parallel Execution of E2E Web Test ScriptsDario Olianas, Maurizio Leotta, Filippo Ricca, Matteo Biagiola, Paolo Tonella. 460-465 [doi]
• Poster: Fuzz Testing of Quantum ProgramJiyuan Wang, Fuchen Ma, Yu Jiang 0001. 466-469 [doi]
• Poster: Repair Cross Browser Layout Issues by Combining Learning and Search-based techniqueZhenyue Long, Guoquan Wu, Yifei Zhang, Wei Chen 0018, Jun Wei 0001. 470-473 [doi]
• Poster: Testing Complex Event PatternsPawel Maslanka, Bartosz Zielinski 0002. 474-477 [doi]