Testing Software and Systems 31st IFIP WG 61 International Conference, ICTSS 2019, Paris, France, October 1517, 2019, Proceedings 11812 Lecture Notes in Computer Science

Test and Arti?cial Intelligence.- Learning a Behavior Model of Hybrid Systems through Combining Model-Based Testing and Machine Learning.- Regular expression learning with evolutionary testing and repair.- Testing Chatbots using Metamorphic Relations.- Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs.- Test Case Generation.- Combining Model Re?nement and Test Generation for Conformance Testing of the IEEE PHD Protocol using Abstract State Machines.- Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMs.- Multiple Mutation Testing for Timed Finite State Machine With Timed Guards and Timeouts.- Empirical Approaches.- An Empirical Evaluation of Search Algorithms for App Testing.- Performance comparison of two search-based testing strategies for ADAS System Validation.- Testing and Veri?cation Techniques.- Bounded Exhaustive Testing with Certi?ed and Optimized Data Enumeration Programs.- A Mechanised Proof of an Adaptive State Counting Algorithm.- A Model Checking based Approach for Detecting SDN Races.- Security and Performance Testing.- Towards an E?cient Performance Testing through Dynamic Workload Adaptation.- DYNAMOJM: A JMeter Tool for Performance Testing using Dynamic Workload Adaptation.- Attack tolerance for service-based applications in the Cloud.- Industrial Applications.- Automatic generation of test oracles from component based software architectures.- Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms.- TestDCat: Catalog of Test Debt Subtypes and Management Activities.