Testing Software and Systems

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 OptimizedData 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.