| 2019 | A Mechanised Proof of an Adaptive State Counting Algorithm. Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska |
| 2019 | A Model Checking Based Approach for Detecting SDN Races. Evgenii M. Vinarskii, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache |
| 2019 | An Empirical Evaluation of Search Algorithms for App Testing. Leon Sell, Michael Auer, Christoph Frädrich, Michael Gruber, Philemon Werli, Gordon Fraser |
| 2019 | Attack Tolerance for Services-Based Applications in the Cloud. Georges Ouffoué, Fatiha Zaïdi, Ana R. Cavalli |
| 2019 | Automatic Generation of Test Oracles from Component Based Software Architectures. Maxime Samson, Thomas Vergnaud |
| 2019 | Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs. Clotilde Erard, Alain Giorgetti |
| 2019 | Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines. Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei |
| 2019 | DYNAMOJM: A JMeter Tool for Performance Testing Using Dynamic Workload Adaptation. Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, Liam Murphy, A. Omar Portillo-Dominguez |
| 2019 | Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik |
| 2019 | Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs. Shin Nakajima, Tsong Yueh Chen |
| 2019 | Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms. Diego Rivera, Edgardo Montes de Oca, Wissam Mallouli, Ana R. Cavalli, Brecht Vermeulen, Matevz Vucnik |
| 2019 | Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning. Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger |
| 2019 | Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts. Omer Nguena Timo, Dimitri Prestat, Antoine Rollet |
| 2019 | Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation. Florian Klück, Martin Zimmermann, Franz Wotawa, Mihai Nica |
| 2019 | Regular Expression Learning with Evolutionary Testing and Repair. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2019 | TestDCat: Catalog of Test Debt Subtypes and Management Activities. Bruno Sabóia Aragão, Rossana M. C. Andrade, Ismayle S. Santos, Rute N. S. Castro, Valéria Lelli, Ticianne G. R. Darin |
| 2019 | Testing Chatbots Using Metamorphic Relations. Josip Bozic, Franz Wotawa |
| 2019 | Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall |
| 2019 | Towards an Efficient Performance Testing Through Dynamic Workload Adaptation. Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, Liam Murphy, A. Omar Portillo-Dominguez |