Mutation testing realizes the idea of using artificial defects to support testing activities.
Mutation is typically used as a way to evaluate the adequacy of test suites, to guide the …

The race for deploying AI-enabled autonomous vehicles (AVs) on public roads is based on
the promise that such self-driving cars will be as safe as or safer than human drivers …

We describe the deployment of the Sapienz Search Based Software Engineering (SBSE)
testing system. Sapienz has been deployed in production at Facebook since September …

We introduce a novel notion of perception contracts to reason about the safety of controllers
that interact with an environment using neural perception. Perception contracts capture …

Programming assignment grading can be time-consuming and error-prone if done manually.
Existing tools generate feedback with failing test cases. However, this method is inefficient …

Expressing class specifications via executable constraints is important for various software
engineering tasks such as test generation, bug finding and automated debugging, but …

The effectiveness of a test suite in detecting faults highly depends on the quality of its test
oracles. Large Language Models (LLMs) have demonstrated remarkable proficiency in …

This paper presents CirFix, a framework for automatically repairing defects in hardware
designs implemented in languages like Verilog. We propose a novel fault localization …

Assertion oracles are executable boolean expressions placed inside the program that
should pass (return true) for all correct executions and fail (return false) for all incorrect …

How do we know a generated patch is correct? This is a key challenging question that
automated program repair (APR) systems struggle to address given the incompleteness of …