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