| 2017 | A "Strength of Decision Tree Equivalence"-Taxonomy and Its Impact on Test Suite Reduction. Hermann Felbinger, Ingo Pill, Franz Wotawa |
| 2017 | AI for Localizing Faults in Spreadsheets. Birgit Hofer, Iulia Nica, Franz Wotawa |
| 2017 | Adaptive Localizer Based on Splitting Trees. Roland Groz, Adenilso da Silva Simão, Catherine Oriat |
| 2017 | Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles. Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, Rupert Schlick |
| 2017 | Constraint-Based Oracles for Timed Distributed Systems. Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall |
| 2017 | Effective Infinite-State Model Checking by Input Equivalence Class Partitioning. Niklas Krafczyk, Jan Peleska |
| 2017 | Fault-Based Testing for Refinement in CSP. Ana Cavalcanti, Adenilso da Silva Simão |
| 2017 | Fragility-Oriented Testing with Model Execution and Reinforcement Learning. Tao Ma, Shaukat Ali, Tao Yue, Maged Elaasar |
| 2017 | From Passive to Active FSM Inference via Checking Sequence Construction. Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat |
| 2017 | GREP: Games for the Runtime Enforcement of Properties. Matthieu Renard, Antoine Rollet, Yliès Falcone |
| 2017 | Generating Checking Sequences for User Defined Fault Models. Alexandre Petrenko, Adenilso da Silva Simão |
| 2017 | Homing Sequence Derivation with Quantified Boolean Satisfiability. Hung-En Wang, Kuan-Hua Tu, Jie-Hong R. Jiang, Natalia Kushik |
| 2017 | Multiple Mutation Testing from Finite State Machines with Symbolic Inputs. Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh |
| 2017 | Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne. Luca Geretti, Davide Bresolin, Pieter Collins, Sanja Zivanovic Gonzalez, Tiziano Villa |
| 2017 | Quality Estimation of Virtual Machine Placement in Cloud Infrastructures. Jorge López, Natalia Kushik, Djamal Zeghlache |
| 2017 | Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation. Aleksandr S. Tvardovskii |
| 2017 | Safety-Complete Test Suites. Wen-ling Huang, Jan Peleska |
| 2017 | Synchronizing Heuristics: Speeding up the Slowest. Ömer Faruk Altun, Kamil Tolga Atam, Sertaç Karahoda, Kamer Kaya |
| 2017 | Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün |
| 2017 | Testing TLS Using Combinatorial Methods and Execution Framework. Dimitris E. Simos, Josip Bozic, Feng Duan, Bernhard Garn, Kristoffer Kleine, Yu Lei, Franz Wotawa |
| 2017 | Using Data Integration for Security Testing. Sébastien Salva, Loukmen Regainia |
| 2017 | Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques. Stefan Huster, Jonas Ströbele, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
| 2017 | n-Complete Test Suites for IOCO. Petra van den Bos, Ramon Janssen, Joshua Moerman |