Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

 
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

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/