index - Testing Software and Systems Access content directly

Full Text Documents



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
Regular Expression Learning with Evolutionary Testing and Repair
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Testing Chatbots Using Metamorphic Relations
Josip Bozic, Franz Wotawa
Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs
Shin Nakajima, Tsong Chen

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
Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMs
Nina Yevtushenko, Victor Kuliamin, Natalia Kushik
Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts
Omer Nguena Timo, Dimitri Prestat, Antoine Rollet

Empirical Approaches

An Empirical Evaluation of Search Algorithms for App Testing
Leon Sell, Michael Auer, Christoph Frädrich, Michael Gruber, Philemon Werli, Gordon Fraser
Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation
Florian Klück, Martin Zimmermann, Franz Wotawa, Mihai Nica

Testing and Verification Techniques

Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs
Clotilde Erard, Alain Giorgetti
A Mechanised Proof of an Adaptive State Counting Algorithm
Robert Sachtleben, Robert Hierons, Wen-Ling Huang, Jan Peleska
A model checking based approach for detecting SDN races
Evgenii Vinarskii, Jorge Lopez, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache

Security and Performance Testing

Towards an Efficient Performance Testing Through Dynamic Workload Adaptation
Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, Liam Murphy, A. Portillo-Dominguez
DYNAMOJM: A JMeter Tool for Performance Testing Using Dynamic Workload Adaptation
Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, Liam Murphy, A. Portillo-Dominguez
Attack Tolerance for Services-Based Applications in the Cloud
Georges Ouffoué, Fatiha Zaïdi, Ana Cavalli

Industrial Applications

Automatic Generation of Test Oracles from Component Based Software Architectures
Maxime Samson, Thomas Vergnaud
Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms
Diego Rivera, Edgardo Montes de Oca, Wissam Mallouli, Ana Cavalli, Brecht Vermeulen, Matevz Vucnik
TestDCat: Catalog of Test Debt Subtypes and Management Activities
Bruno Aragão, Rossana Andrade, Ismayle Santos, Rute Castro, Valéria Lelli, Ticianne Darin


Designed by Inria-IES Team :    Hosted by HAL :