コンピューターサイエンス - ソフトウェア工学

ソフトウェア工学証明を使ってソフトウェアデザインの検証を改善する

新しい方法がソフトウェアの検証プロセスにおける信頼性と明確性を高める。

Nick Feng, Lina Marsso, Marsha Chechik

2025-06-12T17:37:00+00:00 ― 1 分で読む

ソフトウェア工学深層ニューラルネットワークのテストを改善する

新しい方法が特徴選択と不確実性に基づく優先順位付けを組み合わせることでDNNテストを強化する。

Jialuo Chen, Jingyi Wang, Xiyue Zhang

2025-06-12T15:38:30+00:00 ― 1 分で読む

機械学習継続的なトレーニングとデータフィルタリングで品質検査を改善する

新しい方法で、ディープラーニングを使って製造業の製品欠陥検出が向上したよ。

Altaf Allah Abbassi, Houssem Ben Braiek, Foutse Khomh

2025-06-12T15:22:42+00:00 ― 1 分で読む

ソフトウェア工学RustでのMCDC測定：課題と洞察

RustプログラミングにおけるMCDCテストメトリクスの適用についての考察。

Wanja Zaeske, Pietro Albini, Florian Gilcher

2025-06-12T08:47:42+00:00 ― 1 分で読む

ソフトウェア工学コードクローンがソフトウェアの品質に与える影響

この研究は、コードクローンがもたらすリスクとその管理について強調してるよ。

Reishi Yokomori, Katsuro Inoue

2025-06-12T06:57:06+00:00 ― 1 分で読む

ソフトウェア工学コード品質がテストケース生成に与える影響

研究によると、欠陥のあるコードがLLMのテストケースの質にどんな影響を与えるかがわかったよ。

Dong Huang, Jie M. Zhang, Mingzhe Du

2025-06-12T02:12:42+00:00 ― 1 分で読む

ソフトウェア工学ハーデン：依存症管理のためのモバイルアプリ

Hardenはユーザーが依存症と戦うために行動や考えを追跡するのを助けるよ。

Nathan Henry

2025-06-11T19:11:40+00:00 ― 1 分で読む

ソフトウェア工学LLMを使ってコスト見積もりを革命的に変える

LLMを使ってソフトウェアプロジェクトのコストと期間を正確に見積もる。

Justin Carpenter, Chia-Ying Wu, Nasir U. Eisty

2025-06-11T16:20:12+00:00 ― 1 分で読む

ソフトウェア工学コードとコメントの不一致の隠れた危険

不一致なコードコメントはバグやソフトウェアの問題を引き起こすことがあるよ。

Shiva Radmanesh, Aaron Imani, Iftekhar Ahmed

2025-06-11T13:42:12+00:00 ― 1 分で読む

ソフトウェア工学成功するNeurIPS提出のためのガイドライン

NeurIPSの論文を評価されやすくするための重要なポイント。

Ana Nunez, Nafis Tanveer Islam, Sumit Kumar Jha

2025-06-11T13:18:30+00:00 ― 1 分で読む

ソフトウェア工学コード脆弱性検出のための大規模言語モデルの評価

この研究は、さまざまなLLMのコードの脆弱性を特定する効果を評価してるよ。

Shaznin Sultana, Sadia Afreen, Nasir U. Eisty

2025-06-11T10:16:48+00:00 ― 1 分で読む

暗号とセキュリティAndroidアプリにおけるサードパーティSDKのプライバシーリスク

モバイルアプリのサードパーティSDKに関連するプライバシー問題を調査中。

Mark Huasong Meng, Chuan Yan, Yun Hao

2025-06-11T09:21:30+00:00 ― 1 分で読む

ソフトウェア工学ComplexCodeEvalでコードモデルを評価する

実世界のコーディングタスクで大規模コードモデルを評価する新しいベンチマーク。

Jia Feng, Jiachen Liu, Cuiyun Gao

2025-06-11T07:46:42+00:00 ― 1 分で読む

ソフトウェア工学eBPFを使ったWebAssemblyのパフォーマンス改善

eBPFベースのフレームワークを使ってWASIのパフォーマンス問題を分析して、より良いウェブアプリを作る。

Chenxi Mao, Yuxin Su, Shiwen Shan

2025-06-11T07:15:06+00:00 ― 1 分で読む

ソフトウェア工学ソフトウェア開発におけるテストのフレーク問題に立ち向かう

フレークテストがソフトウェア開発を妨げる原因と解決策を探ろう。

Alexander Berndt, Thomas Bach, Sebastian Baltes

2025-06-11T02:54:24+00:00 ― 1 分で読む

ソフトウェア工学GPT-O1によるバグ修正の進展

GPT-O1モデルは、以前のバージョンと比べてバグ修正の能力が向上しているよ。

Haichuan Hu, Ye Shang, Guolin Xu

2025-06-11T02:07:00+00:00 ― 1 分で読む

ソフトウェア工学ソフトウェアログのプライバシー：増え続ける懸念

この記事では、ソフトウェアログにおける機密情報の課題とリスクについて探っています。

Roozbeh Aghili, Heng Li, Foutse Khomh

2025-06-10T17:09:48+00:00 ― 1 分で読む

ソフトウェア工学SuperCoder2.0: ソフトウェア開発の再定義

AIを使ったソリューションでコーディングを効率化するスマートシステム。

Anmol Gautam, Kishore Kumar, Adarsh Jha

2025-06-10T14:08:06+00:00 ― 1 分で読む

機械学習強化学習でコードのパフォーマンスを向上させる

新しいRL環境は、MLIRコンパイラのコード最適化を改善することを目指してるんだ。

Nazim Bendib, Iheb Nassim Aouadj, Riyadh Baghdadi

2025-06-10T12:41:12+00:00 ― 1 分で読む

ソフトウェア工学経験を考慮した自動化でコードレビューを改善する

新しい方法がレビュアーの経験を活かして、自動コードレビューのコメントを強化する。

Hong Yi Lin, Patanamon Thongtanunam, Christoph Treude

2025-06-10T10:26:54+00:00 ― 1 分で読む

ソフトウェア工学ソフトウェア開発におけるプロンプトプログラミングの台頭

プロンプトプログラミングを調べて、それがソフトウェアの作成やユーザー体験に与える影響を見てみる。

Jenny T. Liang, Melissa Lin, Nikitha Rao

2025-06-10T07:41:00+00:00 ― 1 分で読む

ソフトウェア工学JavaのプログラムスライシングにおけるLLMの評価

この研究は、静的および動的プログラムスライシングタスクにおけるLLMの効果を評価しています。

Kimya Khakzad Shahandashti, Mohammad Mahdi Mohajer, Alvine Boaye Belle

2025-06-10T06:14:06+00:00 ― 1 分で読む

ソフトウェア工学ウェブアプリケーションの負荷を分析してパフォーマンスを向上させる

ウェブアプリのワークロードパターンを詳しく見て、リソース管理を改善しよう。

Roozbeh Aghili, Qiaolin Qin, Heng Li

2025-06-10T05:10:54+00:00 ― 1 分で読む

ソフトウェア工学vMocksで形式検証を簡単にしよう

vMocksは、形式検証を効率化して、ソフトウェアの安全性と信頼性を向上させるよ。

Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel

2025-06-10T04:47:12+00:00 ― 1 分で読む

ソフトウェア工学ソフトウェア開発におけるボットの役割

ボットはソフトウェアエンジニアリングで作業を効率化して、コラボレーションを良くするよ。

Stefano Lambiase, Gemma Catolino, Fabio Palomba

2025-06-09T20:37:24+00:00 ― 1 分で読む

ソフトウェア工学深層学習における自己申告された技術的負債の調査

技術的負債がディープラーニングプロジェクトにどんな影響を与えるかの研究。

Federica Pepe, Fiorella Zampetti, Antonio Mastropaolo

2025-06-09T19:50:00+00:00 ― 1 分で読む

ソフトウェア工学OpenAIの新しいコーディングモデルを評価する

この記事では、OpenAIの新しいコーディングモデルと、そのウェブアプリケーションでのパフォーマンスをレビューします。

Yi Cui

2025-06-09T17:12:00+00:00 ― 1 分で読む

ソフトウェア工学効果的なAPI提案のためのLCM評価

この研究は、API提案における大規模コードモデルのパフォーマンスを評価している。

Chaozheng Wang, Shuzheng Gao, Cuiyun Gao

2025-06-09T16:32:30+00:00 ― 1 分で読む

ソフトウェア工学RepoGenReflexでコード補完を改善する

RepoGenReflexは過去の経験から学んで、コード補完を強化してくれるんだ。関連する提案を提供してくれるよ。

Jicheng Wang, Yifeng He, Hao Chen

2025-06-09T15:05:36+00:00 ― 1 分で読む

ソフトウェア工学Rustコードの自動証明生成

この記事では、Rustでの正しさ証明を生成するための新しい方法について話してるよ。

Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu

2025-06-09T13:46:36+00:00 ― 1 分で読む

ソフトウェア工学PromSecを使ってコード生成のセキュリティを強化する

PromSecは、LLMを使って安全で機能的なコードを生成するためのプロンプトを最適化するよ。

Mahmoud Nazzal, Issa Khalil, Abdallah Khreishah

2025-06-09T08:54:18+00:00 ― 1 分で読む

ソフトウェア工学AI採用におけるバイアス：もっと深く見てみよう

LLMのバイアスがソフトウェアチームの採用にどう影響するかを調べる。

Takashi Nakano, Kazumasa Shimari, Raula Gaikovina Kula

2025-06-09T06:16:18+00:00 ― 1 分で読む

ソフトウェア工学補助関数を使ったコード生成の改善

研究によると、補助関数が指示調整モデルのコード生成を強化することが示されている。

Seonghyeon Lee, Suyeon Kim, Joonwon Jang

2025-06-09T03:06:42+00:00 ― 1 分で読む

ソフトウェア工学学生のソフトウェアモデリングスキルの向上

ソフトウェアモデリングタスクにおける学生の課題と戦略を調査した研究。

Shalini Chakraborty, Javier Troya, Lola Burgueño

2025-06-08T22:53:54+00:00 ― 1 分で読む

ソフトウェア工学LLMエージェントを使った障害位置特定の改善

新しい手法がLLMエージェントと分割統治戦略を使ってソフトウェアのバグ検出を強化する。

Md Nakhla Rafi, Dong Jae Kim, Tse-Hsun Chen

2025-06-08T22:22:18+00:00 ― 1 分で読む

暗号とセキュリティプロキシスマートコントラクトのリスクを乗り越える

Ethereumのプロキシコントラクトは利点があるけど、セキュリティの問題が結構あるんだよね。

Cheng-Kang Chen, Wen-Yi Chu, Muoi Tran

2025-06-08T21:11:12+00:00 ― 1 分で読む

ソフトウェア工学障害診断を良くするためのログ分析の自動化

自動化されたアプローチは、オンラインサービスにおけるログ分析と障害診断を改善する。

Junjie Huang, Zhihan Jiang, Jinyang Liu

2025-06-08T21:03:18+00:00 ― 1 分で読む

ソフトウェア工学データ整形コード生成の改善

研究者たちは、コンテキストが豊富な例を通じて、より良い自動データ整形コードのための方法を開発している。

Junjie Huang, Daya Guo, Chenglong Wang

2025-06-08T20:47:30+00:00 ― 1 分で読む

ソフトウェア工学ソフトウェア開発におけるAIツールの役割

AIツールは開発者の働き方を変えて、ソフトウェア開発プロセスを改善してるよ。

Shidong Pan, Litian Wang, Tianyi Zhang

2025-06-08T16:11:00+00:00 ― 1 分で読む

分散・並列・クラスターコンピューティング分散システムの検証: 課題と方法

分散システムの検証の重要性と方法についての概要。

Lingzhi Ouyang, Xudong Sun, Ruize Tang

2025-06-08T13:09:18+00:00 ― 1 分で読む