| 2020 | 13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020 |
| 2020 | A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite Development. Maurizio Leotta, Matteo Biagiola, Filippo Ricca, Mariano Ceccato, Paolo Tonella |
| 2020 | A Framework for In-Vivo Testing of Mobile Applications. Mariano Ceccato, Davide Corradini, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Paolo Tonella |
| 2020 | A Study on Challenges of Testing Robotic Systems. Afsoon Afzal, Claire Le Goues, Michael Hilton, Christopher Steven Timperley |
| 2020 | AFLNET: A Greybox Fuzzer for Network Protocols. Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury |
| 2020 | Agent-based Testing of Extended Reality Systems. Rui Prada, I. S. W. B. Prasetya, Fitsum Meshesha Kifetew, Frank Dignum, Tanja E. J. Vos, Jason Lander, Jean-Yves Donnart, Alexandre Kazmierowski, Joseph Davidson, Pedro M. Fernandes |
| 2020 | An Empirical Analysis of Blind Tests. Kesina Baral, Jeff Offutt |
| 2020 | An Empirical Evaluation of Mutation Operators for Deep Learning Systems. Gunel Jahangirova, Paolo Tonella |
| 2020 | Anomaly Analyses to Guide Software Testing Activity. Allan Mori |
| 2020 | Automated verification of compliance of non-functional requirements on mobile applications through metamorphic testing. Misael Costa Júnior |
| 2020 | CBR: Controlled Burst Recording. Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani |
| 2020 | CDST: A Toolkit for Testing Cockpit Display Systems. Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan |
| 2020 | Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning Systems. Sakshi Udeshi, Xingbin Jiang, Sudipta Chattopadhyay |
| 2020 | Can We Predict the Quality of Spectrum-based Fault Localization? Mojdeh Golagha, Alexander Pretschner, Lionel C. Briand |
| 2020 | Checking Security Properties of Cloud Service REST APIs. Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk |
| 2020 | Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study. Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand |
| 2020 | Dependency-Aware Web Test Generation. Matteo Biagiola, Andrea Stocco, Filippo Ricca, Paolo Tonella |
| 2020 | Detecting Higher-Order Merge Conflicts in Large Software Projects. Thorsten Wuensche, Artur Andrzejak, Sascha Schwedes |
| 2020 | Determining Method-Call Sequences for Object Creation in C++. Thomas Bach, Ralf Pannemans, Artur Andrzejak |
| 2020 | EC.LANG - A Language for Specifying Response Time Analyses of Event Chains. Max J. Friese, Johannes Traub, Dirk Nowotka |
| 2020 | Fostering the Diversity of Exploratory Testing in Web Applications. Julien Leveau, Xavier Blanc, Laurent Réveillère, Jean-Rémy Falleri, Romain Rouvoy |
| 2020 | Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa |
| 2020 | Human-In-The-Loop Automatic Program Repair. Marcel Böhme, Charaka Geethal, Van-Thuan Pham |
| 2020 | Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms. Xin Yin, Iulian Neamtiu, Saketan Patil, Sean T. Andrews |
| 2020 | Language-Agnostic Generation of Compilable Test Programs. Patrick Kreutzer, Stefan Kraus, Michael Philippsen |
| 2020 | Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection. Hussein K. Almulla, Gregory Gay |
| 2020 | Massively Parallel, Highly Efficient, but What About the Test Suite Quality? Applying Mutation Testing to GPU Programs. Qianqian Zhu, Andy Zaidman |
| 2020 | Metamorphic Security Testing for Web Systems. Phu X. Mai, Fabrizio Pastore, Arda Goknil, Lionel C. Briand |
| 2020 | MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators. Kyle Dewey, Shant Hairapetian, Miroslav Gavrilov |
| 2020 | More Accurate Dynamic Slicing for Better Supporting Software Debugging. Xiangyu Li, Alessandro Orso |
| 2020 | NodeRacer: Event Race Detection for Node.js Applications. André Takeshi Endo, Anders Møller |
| 2020 | One-click formal methods. Liana Hadarean |
| 2020 | Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing. Miroslav Bures, Pavel Herout, Bestoun S. Ahmed |
| 2020 | Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations. Marcio Augusto Guimarães, Leonardo Fernandes, Márcio Ribeiro, Marcelo d'Amorim, Rohit Gheyi |
| 2020 | Parallelization of Classical Numerical optimization in Quantum Variational Algorithms. Marco Pistoia, Peng Liu, Chun-Fu (Richard) Chen, Shaohan Hu, Stephen P. Wood |
| 2020 | Poster: Is Euclidean Distance the best Distance Measurement for Adaptive Random Testing? Rubing Huang, Chenhui Cui, Weifeng Sun, Dave Towey |
| 2020 | Poster: Performance Testing Driven by Reinforcement Learning. Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper |
| 2020 | Poster: SONAR Testing - Novel Testing Approach Based on Operation Recording and Visualization. Hiroyuki Kirinuki, Toshiyuki Kurabayashi, Haruto Tanno, Ippei Kumagawa |
| 2020 | Poster: Test Case Prioritization Using Error Propagation Probability. Jeonghyun Joo, Seunghoon Yoo, Myunghwan Park |
| 2020 | Prioritizing Runtime Verification Violations. Breno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim |
| 2020 | QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs. Stefan Karlsson, Adnan Causevic, Daniel Sundmark |
| 2020 | RESTTESTGEN: Automated Black-Box Testing of RESTful APIs. Emanuele Viglianisi, Michael Dallago, Mariano Ceccato |
| 2020 | Run Java Applications and Test Them In-Vivo Meantime. Antonia Bertolino, Guglielmo De Angelis, Breno Miranda, Paolo Tonella |
| 2020 | SPECMATE: Automated Creation of Test Cases from Acceptance Criteria. Jannik Fischbach, Andreas Vogelsang, Dominik Spies, Andreas Wehrle, Maximilian Junker, Dietmar Freudenstein |
| 2020 | STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases. Abdullah Alsharif, Gregory M. Kapfhammer, Phil McMinn |
| 2020 | Scaling Test Case Generation For Expressive Decision Tables. Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Amey Zare, Sagar Verma |
| 2020 | Smart, and also Reliable and Gas-Efficient, Contracts. Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio |
| 2020 | Source-Codeless Testing for Android Apps. Camilo Andrés Escobar-Velasquez |
| 2020 | Substate Profiling for Enhanced Fault Detection and Localization: An Empirical Study. Rawad Abou Assi, Wes Masri, Chadi Trad |
| 2020 | SunDew: Systematic Automated Security Testing. Franjo Ivancic |
| 2020 | Testability Transformations For Existing APIs. Andrea Arcuri, Juan P. Galeotti |
| 2020 | Tool Support for Refactoring Manual Tests. Élodie Bernard, Julien Botella, Fabrice Ambert, Bruno Legeard, Mark Utting |
| 2020 | Toward Automated Assessment of User Experience in Extended Reality. Saba Gholizadeh Ansari |
| 2020 | Well-informed Test Case Generation and Crash Reproduction. Pouria Derakhshanfar |
| 2020 | ct-fuzz: Fuzzing for Timing Leaks. Shaobo He, Michael Emmi, Gabriela F. Ciocarlie |