:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Menzies, Tim, Ganguly, Kishan Kumar
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2603.10478
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Agentic Verification of Software Systems
by: Tu, Haoxin, et al.
Published: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Automated Testing of the GUI of a Real-Life Engineering Software using Large Language Models
by: Rosenbach, Tim, et al.
Published: (2025)