Cited By
View all- Cotroneo DFoggia AImprota CLiguori PNatella R(2024)Automating the correctness assessment of AI-generated code for security contextsJournal of Systems and Software10.1016/j.jss.2024.112113216:COnline publication date: 1-Oct-2024
- Kim KGhatpande SKim DZhou XLiu KBissyandé TKlein JLe Traon Y(2023)Big Code Search: A BibliographyACM Computing Surveys10.1145/360490556:1(1-49)Online publication date: 26-Aug-2023
- Shenoy APrabhu SMadhukar KShemer RSrivas M(2023)Automated Property Directed Self CompositionAutomated Technology for Verification and Analysis10.1007/978-3-031-45332-8_7(139-158)Online publication date: 19-Oct-2023
- Show More Cited By