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

MARL-OT: Multi-Agent Reinforcement Learning Guided Online Fuzzing to Detect Safety Violation in Autonomous Driving Systems

投稿日: 2025年1月27日 作成者: jarxiv

要約 現実世界の安全違反は重大な損失をもたらす可能性があるため、自律運転システム … 続きを読む →

カテゴリー: cs.RO, cs.SE | MARL-OT: Multi-Agent Reinforcement Learning Guided Online Fuzzing to Detect Safety Violation in Autonomous Driving Systems はコメントを受け付けていません

DI-BENCH: Benchmarking Large Language Models on Dependency Inference with Testable Repositories at Scale

投稿日: 2025年1月24日 作成者: jarxiv

要約 大規模言語モデルではソフトウェア開発の自動化が進んでいますが、依存関係を正 … 続きを読む →

カテゴリー: cs.CL, cs.SE | DI-BENCH: Benchmarking Large Language Models on Dependency Inference with Testable Repositories at Scale はコメントを受け付けていません

Defending against Adversarial Malware Attacks on ML-based Android Malware Detection Systems

投稿日: 2025年1月24日 作成者: jarxiv

要約 Android マルウェアは、ユーザーのプライバシーとデータの完全性に対し … 続きを読む →

カテゴリー: cs.AI, cs.CR, cs.LG, cs.SE | Defending against Adversarial Malware Attacks on ML-based Android Malware Detection Systems はコメントを受け付けていません

Training-Free Consistency Pipeline for Fashion Repose

投稿日: 2025年1月24日 作成者: jarxiv

要約 拡散モデルの最近の進歩により、実際のオブジェクトの画像を編集する可能性が大 … 続きを読む →

カテゴリー: cs.AI, cs.CV, cs.SE | Training-Free Consistency Pipeline for Fashion Repose はコメントを受け付けていません

Correctness Assessment of Code Generated by Large Language Models Using Internal Representations

投稿日: 2025年1月23日 作成者: jarxiv

要約 大規模言語モデル (LLM) によって生成されたコードの正確性を保証するこ … 続きを読む →

カテゴリー: cs.LG, cs.SE | Correctness Assessment of Code Generated by Large Language Models Using Internal Representations はコメントを受け付けていません

Mutation-Guided LLM-based Test Generation at Meta

投稿日: 2025年1月23日 作成者: jarxiv

要約 この文書では、突然変異に基づく LLM ベースのテスト生成のための Met … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.SE | Mutation-Guided LLM-based Test Generation at Meta はコメントを受け付けていません

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs

投稿日: 2025年1月23日 作成者: jarxiv

要約 ブロックチェーン システムがトラストレスであると言われるとき、これが実際に … 続きを読む →

カテゴリー: cs.AI, cs.SE | Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs はコメントを受け付けていません

Developer Perspectives on Licensing and Copyright Issues Arising from Generative AI for Coding

投稿日: 2025年1月23日 作成者: jarxiv

要約 生成 AI (GenAI) ツールは、すでにソフトウェア開発慣行の変革を始 … 続きを読む →

カテゴリー: cs.AI, cs.SE | Developer Perspectives on Licensing and Copyright Issues Arising from Generative AI for Coding はコメントを受け付けていません

Treefix: Enabling Execution with a Tree of Prefixes

投稿日: 2025年1月22日 作成者: jarxiv

要約 コードを実行できることは、さまざまな動的プログラム分析の前提条件です。 学 … 続きを読む →

カテゴリー: cs.AI, cs.SE | Treefix: Enabling Execution with a Tree of Prefixes はコメントを受け付けていません

Benchmarking Image Perturbations for Testing Automated Driving Assistance Systems

投稿日: 2025年1月22日 作成者: jarxiv

要約 ディープ ニューラル ネットワーク (DNN) に基づく先進運転支援システ … 続きを読む →

カテゴリー: cs.CV, cs.SE | Benchmarking Image Perturbations for Testing Automated Driving Assistance Systems はコメントを受け付けていません