この研究は、いろんなツールやバージョンでの組版のフォーマット問題を調べてるよ。
― 1 分で読む
コンピューターサイエンス - ソフトウェア工学
RSSGAIプライバシーラベルを導入して、ユーザーがプライバシーの取り組みをより理解できるようにするよ。
― 1 分で読む
マイクロサービスの根本原因分析手法とそれがパフォーマンスに与える影響を探ってみて。
― 1 分で読む
ツールはアクションの分類を改善して、開発者のワークフローの効率を助けるよ。
― 1 分で読む
マイクロサービスの進化をメトリクスで追跡する新しいフレームワーク。
― 1 分で読む
新しいツールキットが科学的ワークフローの作成と管理を簡素化するよ。
― 1 分で読む
新しい技術がディープラーニングコンパイラのモデル読み込みテストを強化する。
― 1 分で読む
アンマンは、テクノロジーと市民の参加を通じてスマートシティに向けて進展してるよ。
― 1 分で読む
新しい手法が動的チャンクと難しい例学習を通じてバグの特定を強化する。
― 1 分で読む
MathViz-Eは、教室で教師や生徒を助けるために数学の視覚化を自動化するよ。
― 1 分で読む
自然言語でデータ分析ができるユーザーフレンドリーなツール。
― 1 分で読む
生成AIはソフトウェア工学研究における系統的レビューを効率化する。
― 1 分で読む
この記事では、自動運転車の軌道計画における安全性の懸念について話してるよ。
― 1 分で読む
この研究は、セキュリティパッチのトレースを強化する方法を示してるよ。
― 1 分で読む
C/C++コードの脆弱性評価のための機械学習モデルを比較した研究。
― 1 分で読む
RustがOSのセキュリティと信頼性を向上させる役割について探る。
― 1 分で読む
この研究は、開発者のモチベーションと効果的なコードリファクタリングのための指標を調べてるよ。
― 1 分で読む
新しいアプローチでJavaプロジェクトの変更をまとめるのが簡単になって、セキュリティも向上したよ。
― 1 分で読む
ソフトウェアの脆弱性を特定する自動化された方法と、その信頼性を探求中。
― 1 分で読む
この研究は、言語モデルがモバイルアプリの隠れたバグを見つける方法を明らかにしてるよ。
― 1 分で読む
Ap pWorldは、制御された環境でAIエージェントのためのリアルなタスクをシミュレートする。
― 1 分で読む
CSLSは、脆弱性検出を良くするためのコード構造に注目してるよ。
― 1 分で読む
ファウンデーションモデルがデジタルツインの開発をどう改善するかを探る。
― 1 分で読む
Qubernetesが量子コンピュータと古典コンピュータをどうつなぐか探ってみる。
― 1 分で読む
TSLGenは、さまざまなハードウェア向けのSIMDライブラリ作成を効率化するよ。
― 1 分で読む
研究者のための文献レビュー作成を簡単にする新しいシステム。
― 1 分で読む
新しいガイドラインは、開発者向けにAIシステムのセキュリティを向上させることを目指してるよ。
― 1 分で読む
WebApp1Kはウェブアプリのための言語モデルのコーディング能力をテストする。
― 1 分で読む
この研究は、ネットワークソフトウェアプロジェクトでバグがどう扱われるかを調べてるよ。
― 1 分で読む
新しいフレームワークが大規模言語モデルのコーディングタスクの難易度を評価します。
― 1 分で読む
新しい方法が、過去のデータを解析することでソフトウェアのバグを予測するんだ。
― 1 分で読む
信頼性のあるソフトウェア開発のためのモデルチェックを教えるプログラム。
― 1 分で読む
ソフトウェアプロジェクトにおける開発者の技術的負債の認識と管理についての考察。
― 1 分で読む
ユーザーエンゲージメントを高めるためのギャラリーの作り方と管理方法を学ぼう。
― 1 分で読む
この研究は、マイクロサービスの脆弱性を分類してセキュリティ対策を改善することを目的としている。
― 1 分で読む
この記事は、フィードバックがJupyterノートブックにおける機械学習の実践にどのように影響するかを調査しているよ。
― 1 分で読む
Leetcodeでの人間が書いたソリューションとLLMが生成したコードを比較する研究。
― 1 分で読む
継続的なコンプライアンスは、現代のソフトウェア開発とセキュリティにとってめっちゃ大事だよ。
― 0 分で読む
C3は、自動テストの入力の明確さを高めて、コードの理解を良くするんだ。
― 1 分で読む
この記事では、PRの説明を自動的に作成する方法について話してるよ。
― 1 分で読む