Copertina

From Verification to Herding: Exploiting Software's Sparsity of Influence

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Menzies, Tim, Ganguly, Kishan Kumar
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Zoom, Don't Wander: Why Regional Search Outperforms Pareto Reasoning and Global Optimization in Budget-Constrained SBSE
di: Ganguly, Kishan Kumar, et al.
Pubblicazione: (2026)

BINGO! Simple Optimizers Win Big if Problems Collapse to a Few Buckets
di: Ganguly, Kishan Kumar, et al.
Pubblicazione: (2025)

How Low Can You Go? The Data-Light SE Challenge
di: Ganguly, Kishan Kumar, et al.
Pubblicazione: (2025)

From Coverage to Causes: Data-Centric Fuzzing for JavaScript Engines
di: Ganguly, Kishan Kumar, et al.
Pubblicazione: (2025)

MOOT: a Repository of Many Multi-Objective Optimization Tasks
di: Menzies, Tim, et al.
Pubblicazione: (2025)

Can Causality Cure Confusion Caused By Correlation (in Software Analytics)?
di: Rayegan, Amirali, et al.
Pubblicazione: (2026)

Streamlining Software Reviews: Efficient Predictive Modeling with Minimal Examples
di: Menzies, Tim, et al.
Pubblicazione: (2024)

iSNEAK: Partial Ordering as Heuristics for Model-Based Reasoning in Software Engineering
di: Lustosa, Andre, et al.
Pubblicazione: (2023)

Beyond the Prompt: Assessing Domain Knowledge Strategies for High-Dimensional LLM Optimization in Software Engineering
di: Srinivasan, Srinath, et al.
Pubblicazione: (2026)

Is Hyper-Parameter Optimization Different for Software Analytics?
di: Yedida, Rahul, et al.
Pubblicazione: (2024)

From Brittle to Robust: Improving LLM Annotations for SE Optimization
di: Senthilkumar, Lohith, et al.
Pubblicazione: (2026)

Retrospective: Data Mining Static Code Attributes to Learn Defect Predictors
di: Menzies, Tim
Pubblicazione: (2025)

Shaky Structures: The Wobbly World of Causal Graphs in Software Analytics
di: Hulse, Jeremy, et al.
Pubblicazione: (2025)

When Less is More: On the Value of "Co-training" for Semi-Supervised Software Defect Predictors
di: Majumder, Suvodeep, et al.
Pubblicazione: (2022)

Minimal Data, Maximum Clarity: A Heuristic for Explaining Optimization
di: Rayegan, Amirali, et al.
Pubblicazione: (2025)

Less Noise, More Signal: DRR for Better Optimizations of SE Tasks
di: Lustosa, Andre, et al.
Pubblicazione: (2025)

Can Large Language Models Improve SE Active Learning via Warm-Starts?
di: Senthilkumar, Lohith, et al.
Pubblicazione: (2024)

Software Engineering Principles for Fairer Systems: Experiments with GroupCART
di: Peng, Kewen, et al.
Pubblicazione: (2025)

Gender Dynamics in Software Engineering: Insights from Research on Concurrency Bug Reproduction
di: Zaman, Tarannum Shaila, et al.
Pubblicazione: (2025)

Agentic Verification of Software Systems
di: Tu, Haoxin, et al.
Pubblicazione: (2025)

Smart Cuts: Enhance Active Learning for Vulnerability Detection by Pruning Hard-to-Learn Data
di: Lan, Xiang, et al.
Pubblicazione: (2025)

Revisiting Process versus Product Metrics: a Large Scale Analysis
di: Majumder, Suvodeep, et al.
Pubblicazione: (2020)

SparseCoder: Advancing Source Code Analysis with Sparse Attention and Learned Token Pruning
di: Yang, Xueqi, et al.
Pubblicazione: (2023)

Combining Tests and Proofs for Better Software Verification
di: Huang, Li, et al.
Pubblicazione: (2026)

Selene: Pioneering Automated Proof in Software Verification
di: Zhang, Lichen, et al.
Pubblicazione: (2024)

SmartOracle -- An Agentic Approach to Mitigate Noise in Differential Oracles
di: Srinivasan, Srinath, et al.
Pubblicazione: (2026)

Using Assurance Cases to Guide Verification and Validation of Research Software
di: Smith, W. Spencer, et al.
Pubblicazione: (2024)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
di: Wang, Weiqi, et al.
Pubblicazione: (2025)

When Code Becomes Abundant: Redefining Software Engineering Around Orchestration and Verification
di: Kohl, Karina, et al.
Pubblicazione: (2026)

Framework and Methodology for Verification of a Complex Scientific Simulation Software, Flash-X
di: Dhruv, Akash, et al.
Pubblicazione: (2023)

AVIATE: Exploiting Translation Variants of Artifacts to Improve IR-based Traceability Recovery in Bilingual Software Projects
di: Sun, Kexin, et al.
Pubblicazione: (2024)

500+ Times Faster Than Deep Learning (A Case Study Exploring Faster Methods for Text Mining StackOverflow)
di: Majumder, Suvodeep, et al.
Pubblicazione: (2018)

Enhancing AI-based Generation of Software Exploits with Contextual Information
di: Liguori, Pietro, et al.
Pubblicazione: (2024)

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
di: Kräuter, Tim, et al.
Pubblicazione: (2025)

SE Journals in 2036: Looking Back at the Future We Need to Have
di: Menzies, Tim, et al.
Pubblicazione: (2026)

Maven-Hijack: Software Supply Chain Attack Exploiting Packaging Order
di: Reyes, Frank, et al.
Pubblicazione: (2024)

Teaching Software Testing and Debugging with the Serious Game Sojourner under Sabotage
di: Straubinger, Philipp, et al.
Pubblicazione: (2025)

Gender Influence on Student Teams' Online Communication in Software Engineering Education
di: Garcia, Rita, et al.
Pubblicazione: (2025)

Factors Influencing Performance of Students in Software Automated Test Tools Course
di: Haldar, Susmita, et al.
Pubblicazione: (2024)

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems
di: Ma, Zhi, et al.
Pubblicazione: (2024)