論文の概要: A Declarative Framework for Hand-Crafted Mutation Analysis and Management

• arxiv url: http://arxiv.org/abs/2603.07065v1
• Date: Sat, 07 Mar 2026 06:46:16 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-03-10 15:13:13.712225
• Title: A Declarative Framework for Hand-Crafted Mutation Analysis and Management
• Title（参考訳）: 手作り変異解析・管理のための宣言的フレームワーク
• Authors: Alperen Keles,
• Abstract要約: 本稿では手作り突然変異解析・管理のための宣言的枠組みを提案する。 コメントベース,プリプロセッサベース,パッチベース,マッチ・アンド・リプレース,AST変異の5つの突然変異表現について述べる。 我々はこれらのアイデアを、手作りのミュータントを注入、活性化、リセット、構成するプロトタイプシステムであるMarauderに実装する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Hand-crafted mutants are increasingly used to evaluate fuzzing and property-based testing tools, but current tooling is fragmented and often forces trade-offs between readability, mutation preservation, and execution cost. We present a declarative framework for hand-crafted mutation analysis and management. First, we characterize five mutation representations: comment-based, preprocessor-based, patch-based, match-and-replace, and in-AST mutations. Second, we define a mutation algebra that supports selective execution, tag-based expansion, and higher-order combinations of mutants. Third, we describe a lossless conversion pipeline that maps mutation representations through a common intermediate form, including a strategy for extracting and normalizing in-AST mutations. We implement these ideas in Marauder, a prototype system for injecting, activating, resetting, and composing hand-crafted mutants across representations. This framework clarifies the design space of hand-crafted mutation systems and provides a practical foundation for more efficient and expressive mutation experiments.
• Abstract（参考訳）: 手作りのミュータントは、ファジングやプロパティベースのテストツールの評価にますます使用されているが、現在のツールは断片化されており、可読性、突然変異の保存、実行コストのトレードオフを迫られることが多い。 本稿では手作り突然変異解析・管理のための宣言的枠組みを提案する。 まず、コメントベース、プリプロセッサベース、パッチベース、マッチ・アンド・リプレース、AST変異の5つの突然変異表現を特徴付ける。 第2に、選択的実行、タグベースの拡張、突然変異体の高次結合をサポートする突然変異代数を定義する。 第3に、AST中の突然変異を抽出・正規化するための戦略を含む、共通の中間形態で突然変異表現をマッピングするロスレス変換パイプラインについて述べる。 我々はこれらのアイデアを、表現にまたがって手作りのミュータントを注入し、活性化し、リセットし、構成するプロトタイプシステムであるMarauderに実装する。 このフレームワークは手作り突然変異システムの設計空間を明確にし、より効率的かつ表現力のある突然変異実験のための実用的な基礎を提供する。

関連論文リスト

• Continuous Program Search [4.198653054660764]
  潜在距離が振る舞いの意味を持つ連続的なプログラム空間を学習し、進化的アルゴリズムを変更することなくこの構造を利用する突然変異演算子を設計する。 制御された潜在摂動下での行動レベルのばらつきを追跡することで局所性を計測し,行動-局所的連続的な変動に対する経験的信頼領域を同定する。 等方的突然変異は時折高いピーク性能を達成するが、幾何コンパイルされた突然変異はより速く、より信頼性の高い進行をもたらす。
  論文  参考訳（メタデータ） (2026-02-07T18:41:14Z)
• A Simple yet Effective DDG Predictor is An Unsupervised Antibody Optimizer and Explainer [53.85265022754878]
  高速な突然変異スクリーニングのための軽量DDG予測器(Light-DDG)を提案する。 また、Light-DDGを事前学習するための数百万の突然変異データを含む大規模データセットもリリースした。 対象抗体について,変異選好を学習するための新しい変異説明器を提案する。
  論文  参考訳（メタデータ） (2025-02-10T09:26:57Z)
• Learning to Predict Mutation Effects of Protein-Protein Interactions by Microenvironment-aware Hierarchical Prompt Learning [78.38442423223832]
  我々は、新しいコードブック事前学習タスク、すなわちマスク付きマイクロ環境モデリングを開発する。 突然変異効果予測において、最先端の事前学習法よりも優れた性能と訓練効率を示す。
  論文  参考訳（メタデータ） (2024-05-16T03:53:21Z)
• MMT: Mutation Testing of Java Bytecode with Model Transformation -- An Illustrative Demonstration [0.11470070927586014]
  突然変異テストは、テストスイートの堅牢性をチェックするアプローチである。 本稿では,Javaバイトコードの変異をモデル変換によって柔軟に定義できるモデル駆動型アプローチを提案する。 MMTと呼ばれるツールは、オブジェクト指向構造を変更するための高度な突然変異演算子によって拡張されている。
  論文  参考訳（メタデータ） (2024-04-22T11:33:21Z)
• An Empirical Evaluation of Manually Created Equivalent Mutants [54.02049952279685]
  手動で作成した突然変異体の10%未満は等価である。 驚くべきことに、我々の発見は、開発者の大部分が同等のミュータントを正確に識別するのに苦労していることを示している。
  論文  参考訳（メタデータ） (2024-04-14T13:04:10Z)
• Mutation Analysis with Execution Taints [2.574469668220994]
  各変異体を別々に評価することは、大量の冗長な計算を意味する。 本研究では, 動的データフロー・テナントを突然変異解析に活用する新しい手法を提案する。
  論文  参考訳（メタデータ） (2024-03-02T09:20:46Z)
• MuRS: Mutant Ranking and Suppression using Identifier Templates [4.9205581820379765]
  Googleの突然変異テストサービスは、差分ベースの突然変異テストをコードレビュープロセスに統合する。 Googleの突然変異テストサービスは、役に立たないミュータントをターゲットにした、いくつかの抑制ルールを実装している。 テスト中のソースコードのパターンによってミュータントをグループ化する自動手法である MuRS を提案し,評価する。
  論文  参考訳（メタデータ） (2023-06-15T13:43:52Z)
• Self-Supervised Learning for Group Equivariant Neural Networks [75.62232699377877]
  群同変ニューラルネットワーク(英: Group equivariant Neural Network)は、入力の変換で通勤する構造に制限されたモデルである。 自己教師型タスクには、同変プリテキストラベルと異変コントラスト損失という2つの概念を提案する。 標準画像認識ベンチマークの実験では、同変ニューラルネットワークが提案された自己教師型タスクを利用することを示した。
  論文  参考訳（メタデータ） (2023-03-08T08:11:26Z)
• Equivariant Disentangled Transformation for Domain Generalization under Combination Shift [91.38796390449504]
  ドメインとラベルの組み合わせは、トレーニング中に観察されるのではなく、テスト環境に現れる。 我々は、同型の概念、同値性、および整合性の定義に基づく結合シフト問題の一意的な定式化を提供する。
  論文  参考訳（メタデータ） (2022-08-03T12:31:31Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。