This paper describes Meta's TestGen-LLM tool, which uses LLMs to automatically improve
existing human-written tests. TestGen-LLM verifies that its generated test classes …

The exponential growth of social media platforms such as Twitter and Facebook has
revolutionized textual communication and textual content publication in human society …

The exponential growth of social media platforms has brought about a revolution in
communication and content dissemination in human society. Nevertheless, these platforms …

A cyber–cyber digital twin is a simulation of a software system. By contrast, a cyber–physical
digital twin is a simulation of a non-software (physical) system. Although cyber–physical …

One of the major challenges in the verification of complex industrial Cyber-Physical Systems
is the difficulty of determining whether a particular system output or behaviour is correct or …

Cyber-physical systems (CPSs) are a new generation of systems, which integrate software
with physical processes. The increasing complexity of these systems, combined with the …

Concurrent programs are normally composed of multiple concurrent threads sharing
memory space. These threads are often interleaved, which may lead to some non …

Automation of test oracles is one of the most challenging facets of software testing, but
remains comparatively less addressed compared to automated test input generation. Test …

Context: Simulation-based testing is essential when developing Advanced Driver-
Assistance Systems (ADASs) and autonomous driving (AD) systems, producing fast, high …

There have been rapid recent developments in automated software test design, repair and
program improvement. Advances in artificial intelligence also have great potential impact to …