Pre-trained large language models (LLMs) have recently emerged as a breakthrough
technology in natural language processing and artificial intelligence, with the ability to …

Self-adaptive systems (SASs) are designed to handle changes and uncertainties through a
feedback loop with four core functionalities: monitoring, analyzing, planning, and execution …

Static analysis tools for capturing bugs and vulnerabilities in software programs are widely
employed in practice, as they have the unique advantages of high coverage and …

When testing scientific software, it is often challenging or even impossible to craft a test
oracle for checking whether the program under test produces the expected output when …

The need for effective and timely testing processes has become critical in the constantly
changing field of software development. Large Language Models (LLMs) have …

Much of the cost and effort required during the software testing process is invested in
performing test maintenance-the addition, removal, or modification of test cases to keep the …

With the advent of large language models (LLMs) in the artificial intelligence (AI) area, the
field of software engineering (SE) has also witnessed a paradigm shift. These models, by …

Constraint checking techniques are being widely used for ensuring the consistency of
software artifacts during their development and evolution (eg, detecting inconsistency in an …

Abstract Configurable Program Analysis (CPA) allows users to customize program analysis
based on their preferences. However, current program verification tools like Cpachecker …

Prompting has become one of the main approaches to leverage emergent capabilities of
Large Language Models [Brown et al. NeurIPS 2020, Wei et al. TMLR 2022, Wei et al …