| 2019 | 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019 |
| 2019 | A Model-Based Approach to Generate Dynamic Synthetic Test Data. Chao Tan |
| 2019 | AADL-Based Safety Analysis Approaches for Safety-Critical Systems. Xiaomin Wei |
| 2019 | An Empirical Assessment of Machine Learning Approaches for Triaging Reports of a Java Static Analysis Tool. Ugur Koc, Shiyi Wei, Jeffrey S. Foster, Marine Carpuat, Adam A. Porter |
| 2019 | An Empirical Study on the Use of Defect Prediction for Test Case Prioritization. David Paterson, José Campos, Rui Abreu, Gregory M. Kapfhammer, Gordon Fraser, Phil McMinn |
| 2019 | An Extensive Study on Cross-Project Predictive Mutation Testing. Dongyu Mao, Lingchao Chen, Lingming Zhang |
| 2019 | An RBM Anomaly Detector for the Cloud. Cristina Monni, Mauro Pezzè, Gaetano Prisco |
| 2019 | Automated Function Assessment in Driving Scenarios. Christian King, Lennart Ries, Christopher Kober, Christoph Wohlfahrt, Eric Sax |
| 2019 | Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems. Bruno Lima |
| 2019 | Automated Testing of Basic Recognition Capability for Speech Recognition Systems. Futoshi Iwama, Takashi Fukuda |
| 2019 | Automatic Visual Verification of Layout Failures in Responsively Designed Web Pages. Ibrahim Althomali, Gregory M. Kapfhammer, Phil McMinn |
| 2019 | Automating Root Cause Analysis via Machine Learning in Agile Software Testing Environments. Julen Kahles, Juha Torronen, Timo Huuhtanen, Alexander Jung |
| 2019 | BugsJS: a Benchmark of JavaScript Bugs. Péter Gyimesi, Béla Vancsics, Andrea Stocco, Davood Mazinanian, Árpád Beszédes, Rudolf Ferenc, Ali Mesbah |
| 2019 | Classifying False Positive Static Checker Alarms in Continuous Integration Using Convolutional Neural Networks. Seongmin Lee, Shin Hong, Jungbae Yi, Taeksu Kim, Chul-Joo Kim, Shin Yoo |
| 2019 | Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation. Farah Hariri, August Shi, Vimuth Fernando, Suleman Mahmood, Darko Marinov |
| 2019 | Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies. Valerio Terragni, Mauro Pezzè, Francesco Adalberto Bianchi |
| 2019 | Directing a Search Towards Execution Properties with a Learned Fitness Function. Leonid Joffe, David Clark |
| 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 | Efficient Automated Decomposition of Build Targets at Large-Scale. Lukás Jendele, Markus Schwenk, Diana Cremarenco, Ivan Janicijevic, Mikhail Rybalkin |
| 2019 | Efficiently Repairing Internationalization Presentation Failures by Solving Layout Constraints. Abdulmajeed Alameer, Paul T. Chiou, William G. J. Halfond |
| 2019 | Extension-Aware Automated Testing Based on Imperative Predicates. Nima Dini, Cagdas Yelen, Milos Gligoric, Sarfraz Khurshid |
| 2019 | Fixing of Security Vulnerabilities in Open Source Projects: A Case Study of Apache HTTP Server and Apache Tomcat. Valentina Piantadosi, Simone Scalabrino, Rocco Oliveto |
| 2019 | Intent-Preserving Test Repair. Xiangyu Li, Marcelo d'Amorim, Alessandro Orso |
| 2019 | Learning to Optimize the Alloy Analyzer. Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid |
| 2019 | MemFuzz: Using Memory Accesses to Guide Fuzzing. Nicolas Coppik, Oliver Schwahn, Neeraj Suri |
| 2019 | On the Evolution of Keyword-Driven Test Suites. Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach |
| 2019 | Operational Profile and Software Testing: Aligning User Interest and Test Strategy. Luiz Cavamura Júnior |
| 2019 | Parallel Many-Objective Search for Unit Tests. Verena Bader, José Campos, Gordon Fraser |
| 2019 | Poster: Aiding Java Developers with Interactive Fault Localization in Eclipse IDE. Gergö Balogh, Ferenc Horváth, Árpád Beszédes |
| 2019 | Poster: Automatic Consistency Checking of Requirements with ReqV. Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella |
| 2019 | Poster: ClearTH Test Automation Framework: A Running Example of a DLT-Based Post-Trade System. Vladimir Panarin, Alyona Bulda, Iosif Itkin, Alexey Zverev, Kirill Zagorouiko, Murad Mamedov, Alyona Rybakova, Anna Gromova, Elena Treshcheva, Sergey Tishin, Rostislav Yavorskiy |
| 2019 | Poster: Re-Testing Configured Instances in the Production Environment - A Method for Reducing the Test Suite. Oussama Jebbar, Mohamed Aymen Saied, Ferhat Khendek, Maria Toeroe |
| 2019 | Poster: Supporting JavaScript Experimentation with BugsJS. Béla Vancsics, Péter Gyimesi, Andrea Stocco, Davood Mazinanian, Árpád Beszédes, Rudolf Ferenc, Ali Mesbah |
| 2019 | Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android. Diyu Wu, Jie Liu, Yulei Sui, Shiping Chen, Jingling Xue |
| 2019 | Program Repair at Arbitrary Fault Depth. Besma Khaireddine, Matias Martinez, Ali Mili |
| 2019 | PySE: Automatic Worst-Case Test Generation by Reinforcement Learning. Jinkyu Koo, Charitha Saumya, Milind Kulkarni, Saurabh Bagchi |
| 2019 | Resurgence of Regression Test Selection for C++. Ben Fu, Sasa Misailovic, Milos Gligoric |
| 2019 | SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective. Hui Zhao, Zhihui Li, Hansheng Wei, Jianqi Shi, Yanhong Huang |
| 2019 | Similarities Across Libraries: Making a Case for Leveraging Test Suites. Devika Sondhi, Divya Rani, Rahul Purandare |
| 2019 | SmokeOut: An Approach for Testing Clustering Implementations. Vincenzo Musco, Xin Yin, Iulian Neamtiu |
| 2019 | Suspend-Less Debugging for Interactive and/or Realtime Programs. Haruto Tanno, Hideya Iwasaki |
| 2019 | Techniques for Evolution-Aware Runtime Verification. Owolabi Legunsen, Yi Zhang, Milica Hadzi-Tanovic, Grigore Rosu, Darko Marinov |
| 2019 | TestSage: Regression Test Selection for Large-Scale Web Service Testing. Hua Zhong, Lingming Zhang, Sarfraz Khurshid |
| 2019 | Testing Android Incoming Calls. Ana C. R. Paiva, Marco A. Gonçalves, Andre R. Barros |
| 2019 | Testing Machine Learning Algorithms for Balanced Data Usage. Arnab Sharma, Heike Wehrheim |
| 2019 | Testing for Implicit Inconsistencies in Documentation and Implementation. Devika Sondhi |
| 2019 | Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet? Quentin Plazar, Mathieu Acher, Gilles Perrouin, Xavier Devroey, Maxime Cordy |
| 2019 | Using Data Flow-Based Coverage Criteria for Black-Box Integration Testing of Distributed Software Systems. Dominik Hellhake, Tobias Schmid, Stefan Wagner |
| 2019 | Using Testing to Repair Models. Marco Radavelli |
| 2019 | VCIPR: Vulnerable Code is Identifiable When a Patch is Released (Hacker's Perspective). Junaid Akram, Liang Qi, Ping Luo |
| 2019 | Why Does this App Need this Data? Automatic Tightening of Resource Access. Nataniel P. Borges Jr., Andreas Zeller |
| 2019 | XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions. Charitha Saumya, Jinkyu Koo, Milind Kulkarni, Saurabh Bagchi |
| 2019 | You Cannot Fix What You Cannot Find! An Investigation of Fault Localization Bias in Benchmarking Automated Program Repair Systems. Kui Liu, Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Yves Le Traon |
| 2019 | iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests. Wing Lam, Reed Oei, August Shi, Darko Marinov, Tao Xie |