| 2020 | Teaching Software Testing in an Algorithms and Data Structures Course. | Andrea Arcuri |
| 2020 | Model-Based Testing for MAPE-K adaptation control loops. | Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra |
| 2020 | Generating Tests for the Discovery of Security Flaws in Product Variants. | Francisco Arajo, Ibria Medeiros, Nuno Neves |
| 2020 | Toward Automated Assessment of User Experience in Extended Reality. | Saba Gholizadeh Ansari |
| 2020 | STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases. | Abdullah Alsharif, Gregory M. Kapfhammer, Phil McMinn |
| 2020 | Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection. | Hussein K. Almulla, Gregory Gay |
| 2020 | Smart, and also Reliable and Gas-Efficient, Contracts. | Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio |
| 2020 | Selective Regression Testing based on Big Data: Comparing Feature Extraction Techniques. | Khaled Walid Al-Sabbagh, Miroslaw Staron, Miroslaw Ochodek, Regina Hebig, Wilhelm Meding |
| 2020 | An Automated Testing Framework For Smart TV apps Based on Model Separation. | Bestoun S. Ahmed, Angelo Gargantini, Miroslav Bures |
| 2020 | Scaling Test Case Generation For Expressive Decision Tables. | Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Amey Zare, Sagar Verma |
| 2020 | A Study on Challenges of Testing Robotic Systems. | Afsoon Afzal, Claire Le Goues, Michael Hilton, Christopher Steven Timperley |
| 2020 | Keywords-based test categorization for Extra-Functional Properties. | Muhammad Abbas, Abdul Rauf, Mehrdad Saadatmand, Eduard Paul Enoiu, Daniel Sundmark |
| 2020 | On the impact of timeouts and JVM crashes in Pitest. | Thomas Laurent, Fionnuala Wall, Anthony Ventresque |
| 2019 | Learning to Restrict Test Range for Compiler Test. | Junhua Zhu, Limin Wang, Yu Gu, Xiaojun Lin |
| 2019 | Automatic Generation of Capability Leaks' Exploits for Android Applications. | Mingsong Zhou, Fanping Zeng, Yu Zhang, Chengcheng Lv, Zhao Chen, Guozhu Chen |
| 2019 | TestSage: Regression Test Selection for Large-Scale Web Service Testing. | Hua Zhong, Lingming Zhang, Sarfraz Khurshid |
| 2019 | SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective. | Hui Zhao, Zhihui Li, Hansheng Wei, Jianqi Shi, Yanhong Huang |
| 2019 | An Empirical Comparison of Mutant Selection Assessment Metrics. | Jie M. Zhang, Lingming Zhang, Dan Hao, Lu Zhang, Mark Harman |
| 2019 | Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test Effectiveness? | Jie M. Zhang, Lingming Zhang, Dan Hao, Meng Wang, Lu Zhang |
| 2019 | Towards Automated Generation of Bug Benchmark for Smart Contracts. | Jiaming Ye, Mingliang Ma, Tianyong Peng, Yun Peng, Yinxing Xue |
| 2019 | Scenario Sampling for Cyber Physical Systems using Combinatorial Testing. | Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee |
| 2019 | Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android. | Diyu Wu, Jie Liu, Yulei Sui, Shiping Chen, Jingling Xue |
| 2019 | AADL-Based Safety Analysis Approaches for Safety-Critical Systems. | Xiaomin Wei |
| 2019 | Learning to Optimize the Alloy Analyzer. | Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid |
| 2019 | Poster: Automatic Consistency Checking of Requirements with ReqV. | Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella |