Buchumschlag

SIEVE: Towards Verifiable Certification for Code-datasets

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Mbodji, Fatou Ndiaye, Diallo, El-hacen, Samhi, Jordan, Liu, Kui, Klein, Jacques, Bissyande, Tegawendé F.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Code Barrier: What LLMs Actually Understand?
von: Nikiema, Serge Lionel, et al.
Veröffentlicht: (2025)

AndroLibZoo: A Reliable Dataset of Libraries Based on Software Dependency Analysis
von: Samhi, Jordan, et al.
Veröffentlicht: (2023)

ContractTrace: Retracing Smart Contract Versions for Security Analyses
von: Mbodji, Fatou Ndiaye, et al.
Veröffentlicht: (2024)

Security smells in infrastructure as code: a taxonomy update beyond the seven sins
von: War, Aicha, et al.
Veröffentlicht: (2025)

Evaluating Large Language Models in detecting Secrets in Android Apps
von: Alecci, Marco, et al.
Veröffentlicht: (2025)

Reinforcement Learning-Guided Chain-of-Draft for Token-Efficient Code Generation
von: Tang, Xunzhu, et al.
Veröffentlicht: (2025)

Detection of security smells in IaC scripts through semantics-aware code and language processing
von: War, Aicha, et al.
Veröffentlicht: (2025)

The Struggles of LLMs in Cross-lingual Code Clone Detection
von: Moumoula, Micheline Bénédicte, et al.
Veröffentlicht: (2024)

Call Graph Soundness in Android Static Analysis
von: Samhi, Jordan, et al.
Veröffentlicht: (2024)

Learned or Memorized ? Quantifying Memorization Advantage in Code LLMs
von: Euraste, Djiré Albérick, et al.
Veröffentlicht: (2026)

DetectBERT: Towards Full App-Level Representation Learning to Detect Android Malware
von: Sun, Tiezhu, et al.
Veröffentlicht: (2024)

In-Context Code-Text Learning for Bimodal Software Engineering
von: Tang, Xunzhu, et al.
Veröffentlicht: (2024)

Correctness isnt Efficiency: Runtime Memory Divergence in LLM-Generated Code
von: Rajput, Prateek, et al.
Veröffentlicht: (2026)

Security Evaluation of Android apps in budget African Mobile Devices
von: Diallo, Alioune, et al.
Veröffentlicht: (2025)

An Empirical Study of AI Techniques in Mobile Applications
von: Li, Yinghua, et al.
Veröffentlicht: (2022)

evalSmarT: An LLM-Based Framework for Evaluating Smart Contract Generated Comments
von: Mbodji, Fatou Ndiaye
Veröffentlicht: (2025)

MalLoc: Toward Fine-grained Android Malicious Payload Localization via LLMs
von: Sun, Tiezhu, et al.
Veröffentlicht: (2025)

Boosting Open-Source LLMs for Program Repair via Reasoning Transfer and LLM-Guided Reinforcement Learning
von: Tang, Xunzhu, et al.
Veröffentlicht: (2025)

Open-Source AI-based SE Tools: Opportunities and Challenges of Collaborative Software Learning
von: Lin, Zhihao, et al.
Veröffentlicht: (2024)

LLMs and Stack Overflow Discussions: Reliability, Impact, and Challenges
von: Da Silva, Leuson, et al.
Veröffentlicht: (2024)

Programming Language Confusion: When Code LLMs Can't Keep their Languages Straight
von: Moumoula, Micheline Bénédicte, et al.
Veröffentlicht: (2025)

How Secure is Secure Code Generation? Adversarial Prompts Put LLM Defenses to the Test
von: Tessa, Melissa, et al.
Veröffentlicht: (2026)

Dynamic Stability of LLM-Generated Code
von: Rajput, Prateek, et al.
Veröffentlicht: (2025)

From Rookie to Expert: Manipulating LLMs for Automated Vulnerability Exploitation in Enterprise Software
von: Diouf, Moustapha Awwalou, et al.
Veröffentlicht: (2025)

Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance
von: Song, Yewei, et al.
Veröffentlicht: (2024)

Measuring LLM Code Generation Stability via Structural Entropy
von: Song, Yewei, et al.
Veröffentlicht: (2025)

Software Security in Software-Defined Networking: A Systematic Literature Review
von: Diouf, Moustapha Awwalou, et al.
Veröffentlicht: (2025)

Exploring Hidden Geographic Disparities in Android Apps
von: Alecci, M., et al.
Veröffentlicht: (2025)

AndroLog: Android Instrumentation and Code Coverage Analysis
von: Samhi, Jordan, et al.
Veröffentlicht: (2024)

CodeAgent: Autonomous Communicative Agents for Code Review
von: Tang, Xunzhu, et al.
Veröffentlicht: (2024)

Beyond Language Barriers: Multi-Agent Coordination for Multi-Language Code Generation
von: Moumoula, Micheline Bénédicte, et al.
Veröffentlicht: (2025)

Patch-CLIP: A Patch-Text Pre-Trained Model
von: Tang, Xunzhu, et al.
Veröffentlicht: (2023)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
von: Erfan, Md, et al.
Veröffentlicht: (2026)

MORepair: Teaching LLMs to Repair Code via Multi-Objective Fine-tuning
von: Yang, Boyang, et al.
Veröffentlicht: (2024)

(In)Security of Mobile Apps in Developing Countries: A Systematic Literature Review
von: Diallo, Alioune, et al.
Veröffentlicht: (2024)

WybeCoder: Verified Imperative Code Generation
von: Gloeckle, Fabian, et al.
Veröffentlicht: (2026)

Explainable AI for Analyzing Person-Specific Patterns in Facial Recognition Tasks
von: Borsukiewicz, Paweł Jakub, et al.
Veröffentlicht: (2025)

Aletheia: What Makes RLVR For Code Verifiers Tick?
von: Venkatkrishna, Vatsal, et al.
Veröffentlicht: (2026)

Rethinking Cognitive Complexity for Unit Tests: Toward a Readability-Aware Metric Grounded in Developer Perception
von: Ouédraogo, Wendkûuni C., et al.
Veröffentlicht: (2025)

Human-Aligned Code Readability Assessment with Large Language Models
von: Ouédraogo, Wendkûuni C., et al.
Veröffentlicht: (2025)