default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th ICST 2021: Porto de Galinhas, Brazil
- 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021. IEEE 2021, ISBN 978-1-7281-6836-4
Research Track
Testing Concurrent and Quantum Systems
- Dhriti Khanna, Rahul Purandare
, Subodh Sharma:
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks. 1-12 - Shaukat Ali, Paolo Arcaini, Xinyi Wang, Tao Yue:
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. 13-23
Testing and Learning
- Michael Weiss, Paolo Tonella:
Fail-Safe Execution of Deep Learning based Systems through Uncertainty Monitoring. 24-35 - Maryam Vahdat Pour, Zhuo Li, Lei Ma, Hadi Hemmati:
A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding. 36-46 - Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher:
Learning-Based Fuzzing of IoT Message Brokers. 47-58
Models, Testing and Verification
- Jouke Stoel, Tijs van der Storm, Jurgen J. Vinju:
Modeling with Mocking. 59-70 - Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Catia Trubiani:
Uncertainty-aware Exploration in Model-based Testing. 71-81 - Leopoldo Teixeira, Breno Miranda, Henrique Rebêlo, Marcelo d'Amorim:
Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification. 82-93
Slicing and Static Analysis
- Marcos Lordello Chaim, Kesina Baral, Jeff Offutt, Mario Concilio, Roberto P. A. Araujo:
Efficiently Finding Data Flow Subsumptions. 94-104 - Khaled Ahmed, Mieszko Lis, Julia Rubin:
Mandoline: Dynamic Slicing of Android Applications with Trace-Based Alias Analysis. 105-115 - David Trabish, Shachar Itzhaky, Noam Rinetzky:
Address-Aware Query Caching for Symbolic Execution. 116-126
Test Reuse
- Kesina Baral, Jeff Offutt, Fiza Mulla:
Self determination: A comprehensive strategy for making automated tests more effective and efficient. 127-136 - Robert White, Jens Krinke, Earl T. Barr, Federica Sarro, Chaiyong Ragkhitwetsagul:
Artefact Relation Graphs for Unit Test Reuse Recommendation. 137-147
Faults and Fault Injection
- Martin Gruber, Stephan Lukasczyk, Florian Kroiß, Gordon Fraser:
An Empirical Study of Flaky Tests in Python. 148-158 - Nicolas Coppik, Oliver Schwahn, Neeraj Suri:
Fast Kernel Error Propagation Analysis in Virtualized Environments. 159-170 - João Paulo Diniz, Chu-Pan Wong, Christian Kästner, Eduardo Figueiredo:
Dissecting Strongly Subsuming Second-Order Mutants. 171-181
Autonomous and Cyber-Physical Systems
- Hong Jin Kang, Sheng Qin Sim, David Lo:
IoTBox: Sandbox Mining to Prevent Interaction Threats in IoT Systems. 182-193 - Gunel Jahangirova, Andrea Stocco, Paolo Tonella:
Quality Metrics and Oracles for Autonomous Vehicles Testing. 194-204 - Qinghua Xu, Shaukat Ali, Tao Yue:
Digital Twin-based Anomaly Detection in Cyber-physical Systems. 205-216
Program Repair
- Diogo Campos, André Restivo, Hugo Sereno Ferreira, Afonso Ramos:
Automatic Program Repair as Semantic Suggestions: An Empirical Study. 217-228 - Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach Dinh Le, Corina S. Pasareanu, David R. Cok:
Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods. 229-240
Empirical and User Studies
- Xia Li, Jiajun Jiang, Samuel Benton, Yingfei Xiong, Lingming Zhang:
A Large-scale Study on API Misuses in the Wild. 241-252 - Fabio Falcini, Giuseppe Lami:
System and Software Testing in Automotive: an Empirical Study on Process Improvement Areas. 253-262 - Afsoon Afzal, Deborah S. Katz, Claire Le Goues, Christopher Steven Timperley:
Simulation for Robotics Test Automation: Developer Perspectives. 263-274
Journal First
Journal First I
- Helge Spieker, Arnaud Gotlieb:
Summary of: Adaptive Metamorphic Testing with Contextual Bandits. 275-277 - Shouvick Mondal, Rupesh Nasre:
Summary of Hansie: Hybrid and consensus regression test prioritization. 278-280
Journal First II
- Pouria Derakhshanfar, Xavier Devroey, Gilles Perrouin, Andy Zaidman, Arie van Deursen:
Summary of Search-based Crash Reproduction using Behavioral Model Seeding. 281 - Emanuele Viglianisi, Mariano Ceccato, Paolo Tonella:
Summary of: A Federated Society of Bots for Smart Contract Testing. 282-283
Industry
Industry I
- Jeongju Sohn, Gabin An, Jingun Hong, Dongwon Hwang, Shin Yoo:
Assisting Bug Report Assignment Using Automated Fault Localisation: An Industrial Case Study. 284-294 - Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa:
Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. 295-305 - Mingzhe Wang, Jie Liang, Chijin Zhou, Yuanliang Chen, Zhiyong Wu, Yu Jiang:
Industrial Oriented Evaluation of Fuzzing Techniques. 306-317
Industry II
- Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev:
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types. 318-328 - Viktor Malík, Tomás Vojnar:
Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. 329-339 - Emil Alégroth, Elin Petersén, John Tinnerholm:
A Failed attempt at creating Guidelines for Visual GUI Testing: An industrial case study. 340-350
Industry III
- Daniel Flemström, Henrik Jonsson, Eduard Paul Enoiu, Wasif Afzal:
Industrial Scale Passive Testing with T-EARS. 351-361 - Raphael Eidenbenz, Carsten Franke, Thanikesavan Sivanthi, Sandro Schönborn:
Boosting Exploratory Testing of Industrial Automation Systems with AI. 362-371 - Jonas Fritzsch, Tobias Schmid, Stefan Wagner:
Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV. 372-382 - Markus Borg, Raja Ben Abdessalem, Shiva Nejati, François-Xavier Jegeden, Donghwan Shin:
Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators. 383-393
Industry IV
- Mac Malone, Yicheng Wang, Kevin Z. Snow, Fabian Monrose:
Applicable Micropatches and Where to Find Them: Finding and Applying New Security Hot Fixes to Old Software. 394-405 - Tung Dao, Max Wang, Na Meng:
Exploring the Triggering Modes of Spectrum-Based Fault Localization: An Industrial Case. 406-416
Testing Tools
Testing Tools I
- Andrea Romdhana, Mariano Ceccato, Gabriel Claudiu Georgiu, Alessio Merlo, Paolo Tonella:
COSMO: Code Coverage Made Easier for Android. 417-423 - Henry Cox:
Differential coverage: : automating coverage analysis. 424-429
Testing Tools II
- Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu:
RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzing. 430-435 - Michael Weiss, Paolo Tonella:
Uncertainty-Wizard: Fast and User-Friendly Neural Network Uncertainty Quantification. 436-441 - Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. 442-447
Testing Tools III
- Florian Joost Slob, Sung-Shik Jongmans:
Prut4j: Protocol Unit Testing fo(u)r Java. 448-453 - Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier J. A. Bellekens, Dani Almog, Pavel Herout:
PatrIoT: IoT Automated Interoperability and Integration Testing Framework. 454-459 - Dario Olianas, Maurizio Leotta, Filippo Ricca, Matteo Biagiola, Paolo Tonella:
STILE: a Tool for Parallel Execution of E2E Web Test Scripts. 460-465
Posters I
- Jiyuan Wang, Fuchen Ma, Yu Jiang:
Poster: Fuzz Testing of Quantum Program. 466-469 - Zhenyue Long, Guoquan Wu, Yifei Zhang, Wei Chen, Jun Wei:
Poster: Repair Cross Browser Layout Issues by Combining Learning and Search-based technique. 470-473 - Pawel Maslanka, Bartosz Zielinski:
Poster: Testing Complex Event Patterns. 474-477
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-15 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
