Large Language Models (LLMs) have significantly impacted numerous domains, including
Software Engineering (SE). Many recent publications have explored LLMs applied to …

Automated Program Repair (APR) attempts to patch software bugs and reduce manual
debugging efforts. Very recently, with the advances in Large Language Models (LLMs), an …

The prominent large language models (LLMs) of today differ from past language models not
only in size, but also in the fact that they are trained on a combination of natural language …

Assurance cases (ACs) are convincing arguments, supported by a body of evidence and
aiming at demonstrating that a system will function as intended. Producers of systems can …

This study provides a comparative analysis of state-of-the-art large language models
(LLMs), analyzing how likely they generate vulnerabilities when writing simple C programs …

Assurance cases (ACs) are structured arguments that support the verification of the correct
implementation of systems' non-functional requirements, such as safety and security …

This study compares state-of-the-art Large Language Models (LLMs) on their tendency to
generate vulnerabilities when writing C programs using a neutral zero-shot prompt. Tihanyi …

Applications of Large Language Models (LLM) for source code analysis and related tasks
arising during the development of an industrial static analyzer are becoming increasingly …

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 …

Assurance cases (ACs) are structured arguments that allow verifying the correct
implementation of the created systems' non-functional requirements (eg, safety, security) …