1 citations · 2 across the 3 of their papers we have counts for
4 papers
Evaluating LLMs for One-Shot Patching of Real and Artificial Vulnerabilities
Aayush Garg, Zanis Ali Khan, Renzo Degiovanni +1
Automated vulnerability patching is crucial for software security, and recent advancements in Large Language Models (LLMs) present promising capabilities for automating this task.…
YATE: The Role of Test Repair in LLM-Based Unit Test Generation
Michael Konstantinou, Renzo Degiovanni, Jie M. Zhang +2
Recent advances in automated test generation utilises language models to produce unit tests. While effective, language models tend to generate many incorrect tests with respect to…
Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
Pablo F. Castro, Luciano Putruele, Renzo Degiovanni +1
We present an approach to automatically synthesize synchronized models from lightweight formal specifications. Our approach takes as input a specification of a distributed system a…
BERT: Mutation Testing using Pre-Trained Language Models
Renzo Degiovanni, Mike Papadakis
We introduce BERT, a mutation testing tool that uses a pre-trained language model (CodeBERT) to generate mutants. This is done by masking a token from the expression given as in…