{"total":39,"rows":[{"id":"2302.06527","title":"An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation","created":"2023-02-13","cited_by_count":194,"area":null},{"id":"2402.00097","title":"Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM","created":"2024-01-31","cited_by_count":64,"area":null},{"id":"2310.01831","title":"Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?","created":"2023-10-03","cited_by_count":57,"area":null},{"id":"2404.14646","title":"Exploring and Unleashing the Power of Large Language Models in Automated Code Translation","created":"2024-04-23","cited_by_count":57,"area":null},{"id":"2208.05950","title":"Interactive Code Generation via Test-Driven User-Intent Formalization","created":"2022-08-11","cited_by_count":50,"area":null},{"id":"2305.14591","title":"ALGO: Synthesizing Algorithmic Programs with LLM-Generated Oracle Verifiers","created":"2023-05-24","cited_by_count":41,"area":null},{"id":"2302.10166","title":"Learning Deep Semantics for Test Completion","created":"2023-02-20","cited_by_count":31,"area":null},{"id":"2209.14876","title":"Repairing Bugs in Python Assignments Using Large Language Models","created":"2022-09-29","cited_by_count":28,"area":null},{"id":"2310.01602","title":"CAT-LM: Training Language Models on Aligned Code And Tests","created":"2023-10-02","cited_by_count":28,"area":null},{"id":"2606.07682","title":"SWE-Marathon: Can Agents Autonomously Complete Ultra-Long-Horizon Software Work?","created":"2026-06-05","cited_by_count":23,"area":null},{"id":"2406.09757","title":"Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages","created":"2024-06-14","cited_by_count":16,"area":null},{"id":"2502.10802","title":"CoCoEvo: Co-Evolution of Programs and Test Cases to Enhance Code Generation","created":"2025-02-15","cited_by_count":14,"area":null},{"id":"2312.10622","title":"Unit Test Generation using Generative AI : A Comparative Performance Analysis of Autogeneration Tools","created":"2023-12-17","cited_by_count":13,"area":null},{"id":"2310.05727","title":"The Program Testing Ability of Large Language Models for Code","created":"2023-10-09","cited_by_count":11,"area":null},{"id":"2308.08033","title":"Domain Adaptation for Code Model-based Unit Test Case Generation","created":"2023-08-15","cited_by_count":7,"area":null},{"id":"2310.07856","title":"Assessing Evaluation Metrics for Neural Test Oracle Generation","created":"2023-10-11","cited_by_count":7,"area":null},{"id":"2502.15441","title":"On the Effectiveness of Large Language Models in Writing Alloy Formulas","created":"2025-02-21","cited_by_count":7,"area":null},{"id":"2310.18834","title":"Automating the Correctness Assessment of AI-generated Code for Security Contexts","created":"2023-10-28","cited_by_count":6,"area":null},{"id":"2411.01789","title":"Generating executable oracles to check conformance of client code to requirements of JDK Javadocs using LLMs","created":"2024-11-04","cited_by_count":6,"area":null},{"id":"2510.12702","title":"Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?","created":"2025-10-14","cited_by_count":6,"area":null},{"id":"2402.03396","title":"UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing","created":"2024-02-04","cited_by_count":5,"area":null},{"id":"2405.14619","title":"exLong: Generating Exceptional Behavior Tests with Large Language Models","created":"2024-05-23","cited_by_count":4,"area":null},{"id":"2407.08597","title":"Learning Program Behavioral Models from Synthesized Input-Output Pairs","created":"2024-07-11","cited_by_count":4,"area":null},{"id":"2411.16927","title":"ASSERTIFY: Utilizing Large Language Models to Generate Assertions for Production Code","created":"2024-11-25","cited_by_count":4,"area":null},{"id":"2406.08665","title":"FuzzAug: Data Augmentation by Coverage-guided Fuzzing for Neural Test Generation","created":"2024-06-12","cited_by_count":3,"area":null},{"id":"2404.09384","title":"Generative transformations and patterns in LLM-native approaches for software verification and falsification","created":"2024-04-14","cited_by_count":2,"area":null},{"id":"2509.25043","title":"Large Language Models for Software Testing: A Research Roadmap","created":"2025-09-29","cited_by_count":2,"area":null},{"id":"2510.10066","title":"OBsmith: LLM-Powered JavaScript Obfuscator Testing","created":"2025-10-11","cited_by_count":2,"area":null},{"id":"2601.05542","title":"Understanding LLM-Driven Test Oracle Generation","created":"2026-01-09","cited_by_count":2,"area":null},{"id":"2602.20610","title":"SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference","created":"2026-02-24","cited_by_count":2,"area":null},{"id":"2206.10210","title":"The Integration of Machine Learning into Automated Test Generation: A Systematic Mapping Study","created":"2022-06-21","cited_by_count":1,"area":null},{"id":"2406.04710","title":"Morescient GAI for Software Engineering (Extended Version)","created":"2024-06-07","cited_by_count":1,"area":null},{"id":"2503.05394","title":"Static Program Analysis Guided LLM Based Unit Test Generation","created":"2025-03-07","cited_by_count":1,"area":null},{"id":"2509.23812","title":"Navigating the Labyrinth: Path-Sensitive Unit Test Generation with Large Language Models","created":"2025-09-28","cited_by_count":1,"area":null},{"id":"2605.29822","title":"Inferring Code Correctness from Specification","created":"2026-05-28","cited_by_count":0,"area":null},{"id":"2607.05032","title":"Multi-Large Language Model Orchestrated Severity Assessment of Clinical Records (MOSAIC)","created":"2026-07-06","cited_by_count":0,"area":null},{"id":"2607.11342","title":"Fail-Aware and Explainable Test Oracle Prediction","created":"2026-07-13","cited_by_count":0,"area":null},{"id":"2607.22883","title":"Evaluating and Mitigating the Misguidance Effect of Buggy Code in LLM-Generated Unit Tests","created":"2026-07-24","cited_by_count":0,"area":null},{"id":"2609.20130","title":"AdaRepair-Mem: Adaptive Experience Orchestration for Repository-Level Program Repair","created":"2026-09-17","cited_by_count":0,"area":null}],"next_cursor":null}