Robotic systems are becoming pervasive and adopted in increasingly many domains, such
as manufacturing, healthcare, and space exploration. To this end, engineering software has …

Test case generation tools for REST APIs have grown in number and complexity in recent
years. However, their advanced capabilities for automated input generation contrast with the …

An automated driving system (ADS), as the brain of an autonomous vehicle (AV), should be
tested thoroughly ahead of deployment. ADS must satisfy a complex set of rules to ensure …

Unmanned aerial systems (UAS) rely on various avionics systems that are safety-critical and
mission-critical. A major requirement of international safety standards is to perform rigorous …

As robotic systems such as autonomous cars and delivery drones assume greater roles and
responsibilities within society, the likelihood and impact of catastrophic software failure …

Robotic systems are becoming pervasive and adopted in increasingly many domains, such
as manufacturing, healthcare, and space exploration. To this end, engineering software has …

Robotic systems are widely used in industry, agriculture, the inspection of infrastructure, and
even in our daily lives. The safety and security of robotic systems have become a primary …

Configurations are supported by most flight control systems, allowing users to control a flying
drone adapted to complexities such as environmental changes or mission alterations. Such …

From delivering groceries and vital medical supplies to driving trucks and passenger
vehicles, society is becoming increasingly reliant on autonomous vehicles (AVs), It is …

Test case generation tools for RESTful APIs have proliferated in recent years. However,
despite their promising results, they all share the same limitation: they can only detect …