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

The Future of Software Testing: AI-Powered Test Case Generation and Validation

要約 ソフトウェア テストは、ソフトウェア開発ライフサイクル (SDLC) にお … 続きを読む

カテゴリー: cs.AI, cs.SE | The Future of Software Testing: AI-Powered Test Case Generation and Validation はコメントを受け付けていません

Can OpenSource beat ChatGPT? — A Comparative Study of Large Language Models for Text-to-Code Generation

要約 近年、大規模言語モデル (LLM) が、ソフトウェア エンジニアリングを含 … 続きを読む

カテゴリー: cs.CL, cs.LG, cs.SE | Can OpenSource beat ChatGPT? — A Comparative Study of Large Language Models for Text-to-Code Generation はコメントを受け付けていません

Enhancing AI-based Generation of Software Exploits with Contextual Information

要約 この実践的な体験レポートでは、自然言語 (NL) 記述から攻撃的なセキュリ … 続きを読む

カテゴリー: cs.AI, cs.SE | Enhancing AI-based Generation of Software Exploits with Contextual Information はコメントを受け付けていません

The Faiss library

要約 ベクトル データベースは通常、埋め込みベクトルの大規模なコレクションを管理 … 続きを読む

カテゴリー: cs.CV, cs.LG, cs.SE | The Faiss library はコメントを受け付けていません

LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs’ Vulnerability Reasoning

要約 大規模言語モデル (LLM) は、脆弱性の検出を含むさまざまなタスクにおい … 続きを読む

カテゴリー: cs.AI, cs.CR, cs.SE | LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs’ Vulnerability Reasoning はコメントを受け付けていません

Extending Structural Causal Models for Autonomous Embodied Systems

要約 この研究では、自律的な身体化システムと因果推論の間の溝を埋めることを目指し … 続きを読む

カテゴリー: cs.AI, cs.RO, cs.SE, I.2.9 | Extending Structural Causal Models for Autonomous Embodied Systems はコメントを受け付けていません

A Comparative Study on Large Language Models for Log Parsing

要約 背景: ログ メッセージは、ソフトウェア システムのステータスに関する貴重 … 続きを読む

カテゴリー: cs.CL, cs.SE | A Comparative Study on Large Language Models for Log Parsing はコメントを受け付けていません

The Role of Artificial Intelligence and Machine Learning in Software Testing

要約 人工知能 (AI) と機械学習 (ML) は、ソフトウェア開発を含むさまざ … 続きを読む

カテゴリー: cs.AI, cs.SE | The Role of Artificial Intelligence and Machine Learning in Software Testing はコメントを受け付けていません

Bioinformatics Retrieval Augmentation Data (BRAD) Digital Assistant

要約 バイオインフォマティクス検索拡張データ (BRAD) デジタル アシスタン … 続きを読む

カテゴリー: cs.AI, cs.IR, cs.SE | Bioinformatics Retrieval Augmentation Data (BRAD) Digital Assistant はコメントを受け付けていません

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

要約 証明指向のプログラムは、プログラムの正しさの証明と計算内容が混在している。 … 続きを読む

カテゴリー: cs.AI, cs.PL, cs.SE | Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming はコメントを受け付けていません