{"total":27,"rows":[{"id":"2506.02548","title":"CyberGym: Evaluating AI Agents' Real-World Cybersecurity Capabilities at Scale","created":"2025-06-03","cited_by_count":78,"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":"2603.04448","title":"SkillNet: Create, Evaluate, and Connect AI Skills","created":"2026-02-26","cited_by_count":53,"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":"2203.01212","title":"A Quantitative Geometric Approach to Neural-Network Smoothness","created":"2022-03-02","cited_by_count":16,"area":null},{"id":"2404.10304","title":"LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs","created":"2024-04-16","cited_by_count":14,"area":null},{"id":"2312.09601","title":"Binary Code Summarization: Benchmarking ChatGPT/GPT-4 and Other Large Language Models","created":"2023-12-15","cited_by_count":13,"area":null},{"id":"2210.00848","title":"Toward Trustworthy Neural Program Synthesis","created":"2022-09-29","cited_by_count":11,"area":null},{"id":"2502.18474","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","created":"2025-02-05","cited_by_count":11,"area":null},{"id":"2203.07671","title":"Safe Neurosymbolic Learning with Differentiable Symbolic Execution","created":"2022-03-15","cited_by_count":9,"area":null},{"id":"2503.12511","title":"SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification","created":"2025-03-16","cited_by_count":9,"area":null},{"id":"2308.10523","title":"When Less is Enough: Positive and Unlabeled Learning Model for Vulnerability Detection","created":"2023-08-21","cited_by_count":8,"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":"2208.13252","title":"MANDO: Multi-Level Heterogeneous Graph Embeddings for Fine-Grained Detection of Smart Contract Vulnerabilities","created":"2022-08-28","cited_by_count":4,"area":null},{"id":"2504.10548","title":"Automated Testing of COBOL to Java Transformation","created":"2025-04-14","cited_by_count":4,"area":null},{"id":"2307.11709","title":"Statement-based Memory for Neural Source Code Summarization","created":"2023-07-21","cited_by_count":2,"area":null},{"id":"2404.08562","title":"Dynamic Neural Control Flow Execution: An Agent-Based Deep Equilibrium Approach for Binary Vulnerability Detection","created":"2024-04-03","cited_by_count":2,"area":null},{"id":"2506.10999","title":"Automated Validation of COBOL to Java Transformation","created":"2025-04-14","cited_by_count":2,"area":null},{"id":"2509.24975","title":"DiffuTester: Accelerating Unit Test Generation for Diffusion LLMs via Mining Structural Pattern","created":"2025-09-29","cited_by_count":2,"area":null},{"id":"2304.00989","title":"Neuro-Symbolic Execution of Generic Source Code","created":"2023-03-23","cited_by_count":1,"area":null},{"id":"2509.08524","title":"AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution","created":"2025-09-10","cited_by_count":1,"area":null},{"id":"2509.20384","title":"R1-Fuzz: Specializing Language Models for Textual Fuzzing via Reinforcement Learning","created":"2025-09-21","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":"2509.13023","title":"Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models","created":"2025-09-16","cited_by_count":0,"area":null},{"id":"2604.00704","title":"AutoEG: Exploiting Known Third-Party Vulnerabilities in Black-Box Web Applications","created":"2026-04-01","cited_by_count":0,"area":null},{"id":"2604.02398","title":"Improving MPI Error Detection and Repair with Large Language Models and Bug References","created":"2026-04-02","cited_by_count":0,"area":null}],"next_cursor":null}