「cs.SE」カテゴリーアーカイブ

APIRL: Deep Reinforcement Learning for REST API Fuzzing

投稿日: 2024年12月23日 作成者: jarxiv

要約 REST API は Web サービスの主要なコンポーネントになっています … 続きを読む →

カテゴリー: cs.AI, cs.NI, cs.SE | APIRL: Deep Reinforcement Learning for REST API Fuzzing はコメントを受け付けていません

HPC-Coder-V2: Studying Code LLMs Across Low-Resource Parallel Languages

投稿日: 2024年12月20日 作成者: jarxiv

要約 大規模言語モデル (LLM) ベースのコーディング ツールは、ソフトウェア … 続きを読む →

カテゴリー: cs.DC, cs.LG, cs.SE | HPC-Coder-V2: Studying Code LLMs Across Low-Resource Parallel Languages はコメントを受け付けていません

Outcome-Refining Process Supervision for Code Generation

投稿日: 2024年12月20日 作成者: jarxiv

要約 大規模言語モデルは、コード生成において優れた機能を実証していますが、深いア … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.SE | Outcome-Refining Process Supervision for Code Generation はコメントを受け付けていません

SimADFuzz: Simulation-Feedback Fuzz Testing for Autonomous Driving Systems

投稿日: 2024年12月19日 作成者: jarxiv

要約 近年、自動運転システム（ADS）は目覚ましい進歩を遂げています。 しかし、 … 続きを読む →

カテゴリー: cs.RO, cs.SE | SimADFuzz: Simulation-Feedback Fuzz Testing for Autonomous Driving Systems はコメントを受け付けていません

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification

投稿日: 2024年12月19日 作成者: jarxiv

要約 Coq などの証明アシスタントを使用した形式的検証により、高品質のソフトウ … 続きを読む →

カテゴリー: cs.AI, cs.SE, D.2.4 | Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification はコメントを受け付けていません

Design choices made by LLM-based test generators prevent them from finding bugs

投稿日: 2024年12月19日 作成者: jarxiv

要約 大規模言語モデル (LLM) を使用した自動テスト ケース生成のための研究 … 続きを読む →

カテゴリー: cs.AI, cs.SE | Design choices made by LLM-based test generators prevent them from finding bugs はコメントを受け付けていません

Decictor: Towards Evaluating the Robustness of Decision-Making in Autonomous Driving Systems

投稿日: 2024年12月18日 作成者: jarxiv

要約 自動運転システム (ADS) のテストは ADS 開発において極めて重要で … 続きを読む →

カテゴリー: cs.AI, cs.NE, cs.RO, cs.SE | Decictor: Towards Evaluating the Robustness of Decision-Making in Autonomous Driving Systems はコメントを受け付けていません

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning

投稿日: 2024年12月18日 作成者: jarxiv

要約 形式検証は、信頼性の高いソフトウェアを作成するための有望な方法ですが、手動 … 続きを読む →

カテゴリー: cs.LG, cs.PL, cs.SE | QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning はコメントを受け付けていません

Uncovering LLM-Generated Code: A Zero-Shot Synthetic Code Detector via Code Rewriting

投稿日: 2024年12月17日 作成者: jarxiv

要約 大規模言語モデル (LLM) は、コード生成において顕著な熟練度を示してい … 続きを読む →

カテゴリー: cs.AI, cs.SE | Uncovering LLM-Generated Code: A Zero-Shot Synthetic Code Detector via Code Rewriting はコメントを受け付けていません

Can LLM Prompting Serve as a Proxy for Static Analysis in Vulnerability Detection

投稿日: 2024年12月17日 作成者: jarxiv

要約 大規模言語モデル (LLM) は、目覚ましい成功を収めているにもかかわらず … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.CR, cs.SE | Can LLM Prompting Serve as a Proxy for Static Analysis in Vulnerability Detection はコメントを受け付けていません