Testing Software and Systems

.- Foundations and Advanced Testing Techniques. .- A Time Series Analysis of Assertions in the Linux Kernel. .- Loop unrolling: formal definition and application to testing. .- Time for Quiescence: Modelling Quiescent Behaviour in Testing via Time outs in Timed Automata. .- On using Homing Sequences instead of Distinguishing in FSM based Testing. .- Testability Indicators for Refactoring. .- Enhancing Path Testing with Eye Tracking: A Human Centric Approach to Functional Software Testing. .- Intelligent and Automated Testing. .- Introducing CreaTest: a framework for test case generation in itemis CREATE. .- Distributed Critical Test Generation for Cyber Physical Systems. .- Reusable Test Suites for Reinforcement Learning. .- Test Generation for Deep Reinforcement Learning Using LRP Guided Mutation of Classified Configurations. .- Test Amplification for REST APIs via Single and Multi Agent LLM Systems. .- Reverse Engineering for Input Modeling: Input Parameter Model Inference from Network Traces. .- Automating Performance Testing in CI/CD Tools Evaluation . .- LLMs, Agents, and AI Driven Testing. .- Automated Exploration of Conversational Agents for the Synthesis of Testing Profiles. .- Extracting Threats from System Descriptions with LLMs Comparing One and Two Agents Strategies. .- On the evaluation of test suites generated by large language models. .- Localization Testing in Video Games using Text Recognition. .- Testing in Complex and Security Critical Systems. .- Assessing Test Scenarios for Autonomous Driving Using Probabilistic Model Checking. .- Passive Testing of Vehicular Embedded Systems: An Industrial Case Study with T EARS and Napkin Studio. .- On the use of imbalanced datasets for learning based vulnerability detection. .- Tracing Vulnerability Propagation Across Open Source Software Ecosystems. .- False Positive Detection in Instrumentation and Control System Testing . .- New convex based metamorphic relations and large scale machine learning model evaluation.