Many popular programming languages, including C#, Java, and Python, support exceptions.
Exceptions are thrown during program execution if an unwanted event happens, eg, a …

This work was completed in May 2022. For safe and reliable deployment of language
models in the real world, testing needs to be robust. This robustness can be characterized …

Characterization of bugs and attack vectors is in many practical scenarios as important as
their finding. Recently, Girol et. al. have introduced the concept of robust reachability, which …

A static analysis design is sufficient if it can prove the property of interest with an acceptable
number of false alarms. Ultimately, the only way to confirm that an analysis design is …

Exception handling is a mechanism in modern programming languages. Studies have
shown that the exception handling code is error-prone. However, there is still limited …

Many programming languages provide exceptions as a structured way for detecting and
recovering from abnormal conditions. However, using exceptions properly is non-trivial …

Conventional automated test generation tools struggle to generate test oracles and tricky
bug-revealing test inputs. Large Language Models (LLMs) can be prompted to produce test …

Data contamination in evaluation is getting increasingly prevalent with the emerge of
language models pre-trained on super large, automatically-crawled corpora. This problem …

Code generation with Large Language Models (LLMs) has been extensively studied and
achieved remarkable progress. As a complementary aspect to code generation, test case …

Programmers often add meaningful information about program semantics when naming
program entities such as variables, functions, and macros. However, static analysis tools …