100 citations · 355 across the 15 of their papers we have counts for
1 paper · 2 filters
Samuele Pasini, Jinhan Kim, Tommaso Aiello +3
Large Language Models (LLMs) are increasingly used in software development to generate functions, such as attack detectors, that implement security requirements. A key challenge is…