Abstract is missing.
- Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine LearningBernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi 0002, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger. 3-21 [doi]
- Regular Expression Learning with Evolutionary Testing and RepairPaolo Arcaini, Angelo Gargantini, Elvinia Riccobene. 22-40 [doi]
- Testing Chatbots Using Metamorphic RelationsJosip Bozic, Franz Wotawa. 41-55 [doi]
- Generating Biased Dataset for Metamorphic Testing of Machine Learning ProgramsShin Nakajima 0001, Tsong Yueh Chen. 56-64 [doi]
- Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State MachinesAndrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei. 67-85 [doi]
- Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMsNina Yevtushenko, Victor V. Kuliamin, Natalia Kushik. 86-103 [doi]
- Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and TimeoutsOmer Nguena-Timo, Dimitri Prestat, Antoine Rollet. 104-120 [doi]
- An Empirical Evaluation of Search Algorithms for App TestingLeon Sell, Michael Auer, Christoph Frädrich, Michael Gruber, Philemon Werli, Gordon Fraser. 123-139 [doi]
- Performance Comparison of Two Search-Based Testing Strategies for ADAS System ValidationFlorian Klück, Martin Zimmermann, Franz Wotawa, Mihai Nica. 140-156 [doi]
- Bounded Exhaustive Testing with Certified and Optimized Data Enumeration ProgramsClotilde Erard, Alain Giorgetti. 159-175 [doi]
- A Mechanised Proof of an Adaptive State Counting AlgorithmRobert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska 0001. 176-193 [doi]
- A Model Checking Based Approach for Detecting SDN RacesEvgenii Vinarskii, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache. 194-211 [doi]
- Towards an Efficient Performance Testing Through Dynamic Workload AdaptationOsvaldo Huerta-Guevara, Vanessa Ayala-Rivera, Liam Murphy, A. Omar Portillo-Dominguez. 215-233 [doi]
- DYNAMOJM: A JMeter Tool for Performance Testing Using Dynamic Workload AdaptationOsvaldo Huerta-Guevara, Vanessa Ayala-Rivera, Liam Murphy, A. Omar Portillo-Dominguez. 234-241 [doi]
- Attack Tolerance for Services-Based Applications in the CloudGeorges Ouffoué, Fatiha Zaïdi, Ana R. Cavalli. 242-258 [doi]
- Automatic Generation of Test Oracles from Component Based Software ArchitecturesMaxime Samson, Thomas Vergnaud. 261-269 [doi]
- Industrial IoT Security Monitoring and Test on Fed4Fire+ PlatformsDiego Rivera, Edgardo Montes de Oca, Wissam Mallouli, Ana R. Cavalli, Brecht Vermeulen, Matevz Vucnik. 270-278 [doi]
- TestDCat: Catalog of Test Debt Subtypes and Management ActivitiesBruno Sabóia Aragão, Rossana M. C. Andrade, Ismayle S. Santos, Rute N. S. Castro, Valéria Lelli, Ticianne G. R. Darin. 279-295 [doi]