4 citations · 4 across the 7 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.SE2026
Which Optimizer, At What Budget? A Tournament of Optimizers for Search-Based SE
Kishan Kumar Ganguly, Tim Menzies
Configuring and tuning modern software is unavoidable, expensive, and error-prone: a single system can expose hundreds of interacting options, and scoring one setting can mean a fu…
cs.SE2026
Zoom, Don't Wander: Why Regional Search Outperforms Pareto Reasoning and Global Optimization in Budget-Constrained SBSE
Kishan Kumar Ganguly, Tim Menzies
Traditional Search-Based Software Engineering (SBSE) assumes global search and full Pareto exploration are essential. We offer the following negative result based on a study of ove…
cs.SE2026
From Verification to Herding: Exploiting Software's Sparsity of Influence
Tim Menzies, Kishan Kumar Ganguly
Software verification is now costly, taking over half the project effort while failing on modern complex systems. We hence propose a shift from verification and modeling to herding…