| 2017 | Message from the ITEQS 2017 Chairs. | Mehrdad Saadatmand, Birgitta Lindstrm, Markus Bohlin |
| 2017 | Test Optimization Using Combinatorial Test Design: Real-World Experience in Deployment of Combinatorial Testing at Scale. | Saritha Route |
| 2017 | Using Model-Checking for Timing Verification in Industrial System Design. | Laurent Rioux, Rafik Henia, Nicolas Sordon |
| 2017 | Applying Combinatorial Testing to High-Speed Railway Track Circuit Receiver. | Chang Rao, Jin Guo, Nan Li, Yu Lei, Yadong Zhang, Yao Li, YaXin Cao |
| 2017 | What You See Is What You Test - Augmenting Software Testing with Computer Vision. | Rudolf Ramler, Thomas Ziebermayr |
| 2017 | How to Test in Sixteen Languages? Automation Support for Localization Testing. | Rudolf Ramler, Robert Hoschek |
| 2017 | Finding Redundancy in Web Mutation Operators. | Upsorn Praphamontripong, Jeff Offutt |
| 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 | Automated Random Testing in Multiple Dispatch Languages. | Simon M. Poulding, Robert Feldt |
| 2017 | Generating Controllably Invalid and Atypical Inputs for Robustness Testing. | Simon M. Poulding, Robert Feldt |
| 2017 | Prevalence of Single-Fault Fixes and Its Impact on Fault Localization. | Alexandre Perez, Rui Abreu, Marcelo d'Amorim |
| 2017 | A Toolkit for Testing Stochastic Simulations against Statistical Oracles. | Matthew Patrick, Ruairi Donnelly, Christopher A. Gilligan |
| 2017 | Timed k-Tail: Automatic Inference of Timed Automata. | Fabrizio Pastore, Daniela Micucci, Leonardo Mariani |
| 2017 | Applications of Practical Combinatorial Testing Methods at Siemens Industry Inc., Building Technologies Division. | Murat Ozcan |
| 2017 | Perphecy: Performance Regression Test Selection Made Simple but Effective. | Augusto Born de Oliveira, Sebastian Fischmeister, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney |
| 2017 | Results of a Comparative Study of Code Coverage Tools in Computer Vision. | Iulia Nica, Gerhard Jakob, Kathrin Juhart, Franz Wotawa |
| 2017 | Simulation-Based Safety Testing Brake-by-Wire. | Nils Mllner, Saifullah Khan, Md. Habibur Rahman, Wasif Afzal, Mehrdad Saadatmand |
| 2017 | Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation. | Ryusei Mori, Masaki Nakamura |
| 2017 | Test Conglomeration - Proposal for Test Design Notation Like Class Diagram. | Noriyuki Mizuno, Makoto Nakakuki, Yoshinori Seino |
| 2017 | Ariadne: Hybridizing Directed Model Checking and Static Analysis. | Reed Milewicz, Peter Pirkelbauer |
| 2017 | Software Testing Design Techniques Used in Automated Vehicle Simulations. | Satoshi Masuda |
| 2017 | Messages from the InSTA 2017 Chairs. | Satoshi Masuda |
| 2017 | Software Testing in Industry and Academia: A View of Both Sides in Japan. | Satoshi Masuda |
| 2017 | Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL. | Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu, Daniel Sundmark |
| 2017 | TITAN: Test Suite Optimization for Highly Configurable Software. | Dusica Marijan, Marius Liaaen, Arnaud Gotlieb, Sagar Sen, Carlo Ieva |