| 2017 | 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017 |
| 2017 | A Comparative Study of Manual and Automated Testing for Industrial Control Software. Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Paul Pettersson |
| 2017 | A Controlled Experiment on Coverage Maximization of Automated Model-Based Software Test Cases in the Automotive Industry. Rashid Darwish, Lynnie Nakyanzi Gwosuta, Richard Torkar |
| 2017 | A Framework for Failure Diagnosis. Mojdeh Golagha |
| 2017 | A Search-Based Testing Approach for XML Injection Vulnerabilities in Web Applications. Sadeeq Jan, Cu D. Nguyen, Andrea Arcuri, Lionel C. Briand |
| 2017 | A Selection Method for Black Box Regression Testing with a Statistically Defined Quality Level. Ibrahim Alagöz, Thomas Herpel, Reinhard German |
| 2017 | A Toolkit for Testing Stochastic Simulations against Statistical Oracles. Matthew Patrick, Ruairi Donnelly, Christopher A. Gilligan |
| 2017 | ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving. Haiyang Sun, Andrea Rosà, Omar Javed, Walter Binder |
| 2017 | ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications. Xiao Li, Nana Chang, Yan Wang, Haohua Huang, Yu Pei, Linzhang Wang, Xuandong Li |
| 2017 | Abstraction Refinement for Non-Zeno Fairness Veri?cation of Linear Hybrid Automata. Ryo Yanase |
| 2017 | Accelerating Test Automation through a Domain Specific Language. Anurag Dwarakanath, Dipin Era, Aditya Priyadarshi, Neville Dubash, Sanjay Podder |
| 2017 | An Industrial Study of Natural Language Processing Based Test Case Prioritization. Yilin Yang, Xinhai Huang, Xuefei Hao, Zicong Liu, Zhenyu Chen |
| 2017 | Are There Any Unit Tests? An Empirical Study on Unit Testing in Open Source Python Projects. Fabian Trautsch, Jens Grabowski |
| 2017 | Ariadne: Hybridizing Directed Model Checking and Static Analysis. Reed Milewicz, Peter Pirkelbauer |
| 2017 | Assessing and Improving the Mutation Testing Practice of PIT. Thomas Laurent, Mike Papadakis, Marinos Kintis, Christopher Henard, Yves Le Traon, Anthony Ventresque |
| 2017 | Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans |
| 2017 | Automated Random Testing in Multiple Dispatch Languages. Simon M. Poulding, Robert Feldt |
| 2017 | Automated Test Generation and Mutation Testing for Alloy. Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid |
| 2017 | Automated Testing of Definition-Use Data Flow for Multithreaded Programs. Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Pei Liu, Jialiang Chang, Yu Hao, Ting Liu |
| 2017 | Automated and Scalable Mutation Testing. Thierry Titcheu Chekam |
| 2017 | Barista: A Technique for Recording, Encoding, and Running Platform Independent Android Tests. Mattia Fazzini, Eduardo Noronha de Andrade Freitas, Shauvik Roy Choudhary, Alessandro Orso |
| 2017 | Behavioral Execution Comparison: Are Tests Representative of Field Behavior? Qianqian Wang, Yuriy Brun, Alessandro Orso |
| 2017 | Broadcast vs. Unicast Review Technology: Does It Matter? Foundjem Armstrong, Foutse Khomh, Bram Adams |
| 2017 | CBGA-ES: A Cluster-Based Genetic Algorithm with Elitist Selection for Supporting Multi-Objective Test Optimization. Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen |
| 2017 | Coveringcerts: Combinatorial Methods for X.509 Certificate Testing. Kristoffer Kleine, Dimitris E. Simos |
| 2017 | Debugging Multithreaded Programs Using Symbolic Analysis. Xiaodong Zhang |
| 2017 | Efficient Incrementalized Runtime Checking of Linear Measures on Lists. Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan |
| 2017 | Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking. Priyanka Darke, Bharti Chimdyalwar, Avriti Chauhan, R. Venkatesh |
| 2017 | Enhancing Trust - Software Vulnerability Analysis Framework. Sultan S. Al-Qahtani |
| 2017 | FIFA: A Kernel-Level Fault Injection Framework for ARM-Based Embedded Linux System. Eunjin Jeong, Namgoo Lee, Jinhan Kim, Duseok Kang, Soonhoi Ha |
| 2017 | Generic and Effective Specification of Structural Test Objectives. Michaël Marcozzi, Mickaël Delahaye, Sébastien Bardin, Nikolai Kosmatov, Virgile Prevosto |
| 2017 | How Do Assertions Impact Coverage-Based Test-Suite Reduction? Junjie Chen, Yanwei Bai, Dan Hao, Lingming Zhang, Lu Zhang, Bing Xie |
| 2017 | How to Test in Sixteen Languages? Automation Support for Localization Testing. Rudolf Ramler, Robert Hoschek |
| 2017 | IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. Abraham Chan, Stefan Winter, Habib Saissi, Karthik Pattabiraman, Neeraj Suri |
| 2017 | Incremental Deductive Verification for Relational Model Transformations. Zheng Cheng, Massimo Tisi |
| 2017 | Information Needs for Validating Evolving Software Systems: An Exploratory Study at Google. Abdullah Al-Nayeem, Krzysztof Ostrowski, Sebastian Pueblas, Christophe Restif, Sai Zhang |
| 2017 | JavaScript: The (Un)Covered Parts. Amin Milani Fard, Ali Mesbah |
| 2017 | Localizing Faults in SQL Predicates. Yun Guo, Amihai Motro, Nan Li |
| 2017 | Localizing and Fixing Faults in SQL Predicates. Yun Guo |
| 2017 | Mining Sandboxes for Linux Containers. Zhiyuan Wan, David Lo, Xin Xia, Liang Cai, Shanping Li |
| 2017 | Model-Based API Testing of Apache ZooKeeper. Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2017 | Model-Based Testing IoT Communication via Active Automata Learning. Martin Tappler, Bernhard K. Aichernig, Roderick Bloem |
| 2017 | NIVAnalyzer: A Tool for Automatically Detecting and Verifying Next-Intent Vulnerabilities in Android Apps. Junjie Tang, Xingmin Cui, Ziming Zhao, Shanqing Guo, Xin-Shun Xu, Chengyu Hu, Tao Ban, Bing Mao |
| 2017 | Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution. Hayes Converse, Oswaldo Olivo, Sarfraz Khurshid |
| 2017 | NuSeen: A Tool Framework for the NuSMV Model Checker. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2017 | O!Snap: Cost-Efficient Testing in the Cloud. Alessio Gambi, Alessandra Gorla, Andreas Zeller |
| 2017 | Overview of the ICST International Software Testing Contest. Emil Alégroth, Shinsuke Matsuki, Tanja E. J. Vos, Kinji Akemine |
| 2017 | Perphecy: Performance Regression Test Selection Made Simple but Effective. Augusto Born de Oliveira, Sebastian Fischmeister, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney |
| 2017 | Prevalence of Single-Fault Fixes and Its Impact on Fault Localization. Alexandre Perez, Rui Abreu, Marcelo d'Amorim |
| 2017 | Private API Access and Functional Mocking in Automated Unit Test Generation. Andrea Arcuri, Gordon Fraser, René Just |
| 2017 | Recovering Semantic Traceability Links between APIs and Security Vulnerabilities: An Ontological Modeling Approach. Sultan S. Al-Qahtani, Ellis E. Eghan, Juergen Rilling |
| 2017 | Reflecting the Adoption of Software Testing Research in Open-Source Projects. Fabian Trautsch |
| 2017 | SAGA Toolbox: Interactive Testing of Guarded Assertions. Daniel Flemström, Thomas Gustafsson, Avenir Kobetski |
| 2017 | Statistical Model Checking Meets Property-Based Testing. Bernhard K. Aichernig, Richard Schumi |
| 2017 | Symbolic Complexity Analysis Using Context-Preserving Histories. Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu |
| 2017 | System Testing of Timing Requirements Based on Use Cases and Timed Automata. Chunhui Wang, Fabrizio Pastore, Lionel C. Briand |
| 2017 | TITAN: Test Suite Optimization for Highly Configurable Software. Dusica Marijan, Marius Liaaen, Arnaud Gotlieb, Sagar Sen, Carlo Ieva |
| 2017 | Taming Coverage Criteria Heterogeneity with LTest. Michaël Marcozzi, Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Virgile Prevosto |
| 2017 | Test Design as Code: JCUnit. Hiroshi Ukai, Xiao Qu |
| 2017 | The Fitness Function for the Job: Search-Based Generation of Test Suites That Detect Real Faults. Gregory Gay |
| 2017 | The Theory of Composite Faults. Rahul Gopinath, Carlos Jensen, Alex Groce |
| 2017 | Timed k-Tail: Automatic Inference of Timed Automata. Fabrizio Pastore, Daniela Micucci, Leonardo Mariani |
| 2017 | Towards a Testbed for Automotive Cybersecurity. Daniel S. Fowler, Madeline Cheah, Siraj Ahmed Shaikh, Jeremy W. Bryans |
| 2017 | Transferring State-of-the-Art Immutability Analyses: Experimentation Toolbox and Accuracy Benchmark. Benjamin Holland, Ganesh Ram Santhanam, Suresh C. Kothari |
| 2017 | Uncertainty-Driven Black-Box Test Data Generation. Neil Walkinshaw, Gordon Fraser |
| 2017 | Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures. Jing Xu, Yu Lei, Richard H. Carver |
| 2017 | Using Semantic Similarity in Crawling-Based Web Application Testing. Jun-Wei Lin, Farn Wang, Paul Chu |
| 2017 | Verifying Concurrent Programs Using Contracts. Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar |