STPAとLTLがどんだけ安全なシステムを作るか学ぼう。
― 1 分で読む
コンピューターサイエンス - ソフトウェア工学
RSS研究によると、コードの変更がソフトウェアの品質指標にどのように影響するかがわかったよ。
― 1 分で読む
ソフトウェアのパフォーマンスをダイナミックチューニングで向上させる新しいアプローチ。
― 1 分で読む
この論文では、SATソルビングを使った効率的なツリー差分メソッドを紹介するよ。
― 1 分で読む
Stateflowモデルの修正を早くしてコストを削減する新しい方法。
― 1 分で読む
新しい方法、DepGraphがソフトウェアのバグ検出精度を向上させるよ。
― 1 分で読む
オープンソースプロジェクトで開発者がアーキテクチャソリューションをどう実装してるかの分析。
― 1 分で読む
ソフトウェア開発のための2つの編集ツールを詳しく見てみる。
― 0 分で読む
自動車業界は、より良い車両機能のためにソフトウェア定義のソリューションを取り入れてるよ。
― 1 分で読む
新しい方法はLLMを使ってバグ修正と機能追加を自動化するんだ。
― 1 分で読む
この記事は、政府のソフトウェアプロジェクトで要件がどのように集められるかを調べているよ。
― 1 分で読む
MLRefScannerは、Pythonの機械学習プロジェクトにおけるコードリファクタリングの検出を強化するよ。
― 1 分で読む
この記事では、開発者がscikit-learnのようなOSSプロジェクトにおける政府の資金提供をどう見ているかを調べているよ。
― 1 分で読む
ユーザーの間での攻撃-防御ツリーの明瞭さと受容についての研究。
― 1 分で読む
この研究は、ChatGPTが自然言語の要件からUMLシーケンス図をどれくらい効果的に作成できるかを評価してるんだ。
― 1 分で読む
ソフトウェア工学でミックスドメソッドを使う研究者のための実践ガイド。
― 1 分で読む
LLMがコードを要約する方法と、そのパフォーマンスに影響を与える要因を探る。
― 1 分で読む
多様性に焦点を当てることで、すべてのユーザーにとってソフトウェアがより良くなるよ。
― 1 分で読む
ソフトウェア研究アーティファクトの共有、維持、品質に関する研究。
― 1 分で読む
量子ソフトウェア工学は、高度な量子コンピューティングのニーズに応えるために進化している。
― 1 分で読む
マイナーな入力の変化にうまく対応できるコード生成モデルの強化。
― 1 分で読む
AI生成のPythonコードの脆弱性を特定するツールが今利用可能になったよ。
― 1 分で読む
新しい方法がLLMを使ってプログラム修理の効率を高めるんだ。
― 1 分で読む
この研究は、情報の流れを使って潜在的なコードのコンフリクトを見つけることを調べてるよ。
― 1 分で読む
データベースのスキーマ進化を簡単にして、整合性を保つツール。
― 1 分で読む
オープンソースプロジェクトでデベロッパーを動かすものに関する研究。
― 1 分で読む
この研究は、モバイルアプリでのテキスト入力生成のための大規模言語モデルを評価しているよ。
― 1 分で読む
アジャイルソフトウェア開発における正確な労力見積もりのための効果的なプラクティスを学ぼう。
― 1 分で読む
Service Weaverは、複雑さを減らしてクラウドネイティブアプリケーションの構築を簡素化するよ。
― 1 分で読む
オブジェクト指向プログラミングでOWKを使いやすくするシステム。
― 1 分で読む
子供たちはクリッターについての面白いゲームを通じてソフトウェアテストを学ぶ。
― 0 分で読む
この研究では、同等突変体とそれがソフトウェアテストに与える影響を調べてるよ。
― 1 分で読む
この研究は、コード生成モデルのプロンプトにおける品質問題を調べている。
― 1 分で読む
ハイブリッドワークの概要とアジャイルソフトウェアプラクティスとの関連性。
― 1 分で読む
LLMを使ってミューテーションテストの効果を高めてソフトウェアの質を向上させる。
― 1 分で読む
新しいツールは、機械学習分析のための柔軟な公正性の定義を提供する。
― 1 分で読む
ビジュアルを使ってコード生成を改善するための新しいデータセット。
― 1 分で読む
この記事は、LLMがアロイ仕様を修正する役割について考察してるよ。
― 1 分で読む
チームベースの学習とオープンソースプロジェクトを使って学生をソフトウェアテストに引き込む。
― 1 分で読む
3DGenはAIを使って、ラフなデータの説明を安全なコードに変えるんだ。
― 1 分で読む