Table of Contents
|
Testing Software and Systems
Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall |
Front Matter |
Test and Artificial Intelligence
|
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning
Bernhard Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger |
3-21 |
Regular Expression Learning with Evolutionary Testing and Repair
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
22-40 |
Testing Chatbots Using Metamorphic Relations
Josip Bozic, Franz Wotawa |
41-55 |
Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs
Shin Nakajima, Tsong Chen |
56-64 |
Test Case Generation
|
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 |
67-85 |
Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMs
Nina Yevtushenko, Victor Kuliamin, Natalia Kushik |
86-103 |
Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts
Omer Nguena Timo, Dimitri Prestat, Antoine Rollet |
104-120 |
Empirical Approaches
|
An Empirical Evaluation of Search Algorithms for App Testing
Leon Sell, Michael Auer, Christoph Frädrich, Michael Gruber, Philemon Werli, Gordon Fraser |
123-139 |
Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation
Florian Klück, Martin Zimmermann, Franz Wotawa, Mihai Nica |
140-156 |
Testing and Verification Techniques
|
Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs
Clotilde Erard, Alain Giorgetti |
159-175 |
A Mechanised Proof of an Adaptive State Counting Algorithm
Robert Sachtleben, Robert Hierons, Wen-Ling Huang, Jan Peleska |
176-193 |
A model checking based approach for detecting SDN races
Evgenii Vinarskii, Jorge Lopez, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache |
194-211 |
Security and Performance Testing
|
Towards an Efficient Performance Testing Through Dynamic Workload Adaptation
Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, Liam Murphy, A. Portillo-Dominguez |
215-233 |
DYNAMOJM: A JMeter Tool for Performance Testing Using Dynamic Workload Adaptation
Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, Liam Murphy, A. Portillo-Dominguez |
234-241 |
Attack Tolerance for Services-Based Applications in the Cloud
Georges Ouffoué, Fatiha Zaïdi, Ana Cavalli |
242-258 |
Industrial Applications
|
Automatic Generation of Test Oracles from Component Based Software Architectures
Maxime Samson, Thomas Vergnaud |
261-269 |
Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms
Diego Rivera, Edgardo Montes de Oca, Wissam Mallouli, Ana Cavalli, Brecht Vermeulen, Matevz Vucnik |
270-278 |
TestDCat: Catalog of Test Debt Subtypes and Management Activities
Bruno Aragão, Rossana Andrade, Ismayle Santos, Rute Castro, Valéria Lelli, Ticianne Darin |
279-295 |
