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

deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses

要約 Rustはデフォルトでメモリの安全性を保証しますが、危険なコードの使用も許 … 続きを読む

カテゴリー: cs.CR, cs.LG, cs.SE | deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses はコメントを受け付けていません

Refactoring Codebases through Library Design

要約 保守可能で一般的なソフトウェアにより、開発者は堅牢なアプリケーションを効率 … 続きを読む

カテゴリー: cs.AI, cs.SE | Refactoring Codebases through Library Design はコメントを受け付けていません

Guaranteed Guess: A Language Modeling Approach for CISC-to-RISC Transpilation with Testing Guarantees

要約 ハードウェアのエコシステムは急速に進化しており、既存のコードの携帯性と寿命 … 続きを読む

カテゴリー: cs.AR, cs.CL, cs.LG, cs.PL, cs.SE | Guaranteed Guess: A Language Modeling Approach for CISC-to-RISC Transpilation with Testing Guarantees はコメントを受け付けていません

Vul-RAG: Enhancing LLM-based Vulnerability Detection via Knowledge-level RAG

要約 LLMは脆弱性の検出において有望な可能性を示していますが、この研究は、脆弱 … 続きを読む

カテゴリー: cs.AI, cs.SE | Vul-RAG: Enhancing LLM-based Vulnerability Detection via Knowledge-level RAG はコメントを受け付けていません

Low-code to fight climate change: the Climaborough project

要約 EUが資金提供するClimaboroughプロジェクトは、2030年までに … 続きを読む

カテゴリー: cs.AI, cs.CY, cs.SE | Low-code to fight climate change: the Climaborough project はコメントを受け付けていません

ACM Survey Draft on Formalising Software Requirements with Large Language Models

要約 このドラフトは、ソフトウェア要件のトレーサビリティ(セクション4)、正式な … 続きを読む

カテゴリー: cs.AI, cs.SE, D.2.1 | ACM Survey Draft on Formalising Software Requirements with Large Language Models はコメントを受け付けていません

Navigating the growing field of research on AI for software testing — the taxonomy for AI-augmented software testing and an ontology-driven literature survey

要約 業界では、ソフトウェアテストは、ソフトウェアベースのシステムの機能、パフォ … 続きを読む

カテゴリー: cs.AI, cs.SE, D.2.5 | Navigating the growing field of research on AI for software testing — the taxonomy for AI-augmented software testing and an ontology-driven literature survey はコメントを受け付けていません

Unified Software Engineering agent as AI Software Engineer

要約 大規模な言語モデル(LLM)テクノロジーの成長により、自動コーディングへの … 続きを読む

カテゴリー: cs.AI, cs.SE | Unified Software Engineering agent as AI Software Engineer はコメントを受け付けていません

A Step-by-Step Guide to Creating a Robust Autonomous Drone Testing Pipeline

要約 自律的なドローンは、航空提供やインフラストラクチャの検査から環境監視や災害 … 続きを読む

カテゴリー: cs.RO, cs.SE | A Step-by-Step Guide to Creating a Robust Autonomous Drone Testing Pipeline はコメントを受け付けていません

Black-Box Adversarial Attacks on LLM-Based Code Completion

要約 大規模な言語モデル(LLM)を搭載した最新のコード完了エンジンは、機能的に … 続きを読む

カテゴリー: cs.CR, cs.LG, cs.PL, cs.SE | Black-Box Adversarial Attacks on LLM-Based Code Completion はコメントを受け付けていません