Mixed-integer programming (MIP) is a fundamental class of mathematical optimization problems with broad applications in various domains such as finance, engineering, and management science. MIP solvers, software systems that automatically solve MIP problems, serve as the computational backbone for these applications. Given their widespread use, ensuring the correctness of MIP solvers is crucial, as incorrect results—such as falsely determining feasibility or returning incorrect solutions—can lead to serious real-world consequences. Despite its importance, validating the correctness of MIP solvers remains largely unexplored in both theory and practice.
This paper presents the first systematic effort to address this problem. We propose feasibility-driven instance generation, a novel and effective technique for generating MIP instances to validate solver behaviors. The core idea is to systematically construct diverse MIP instances that are provably feasible or infeasible by construction. These instances are then used to test MIP solvers for finding correctness bugs. We realize this methodology in Flip. To date, Flip has uncovered 52 confirmed bugs in five widely used MIP solvers, spanning both open-source and commercial systems. Among these, 39 have been promptly fixed by the developers. Our efforts and findings have been well acknowledged and appreciated by the MIP solver community.
Wed 15 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
16:00 - 17:30 | Testing and Analysis 6Research Track at Oceania IX Chair(s): Alberto Martin-Lopez Software Institute - USI, Lugano | ||
16:00 15mTalk | SAFE: Harnessing LLM for Scenario-Driven ADS Testing from Multimodal Crash Data Research Track Siwei Luo Macquarie University, Yang Zhang , Yao Deng Macquarie University, Linfeng Liang Macquarie University, Xi Zheng Macquarie University | ||
16:15 15mTalk | Bounded Exhaustive Random Program Generation for Testing Solidity Compilers Research Track Haoyang Ma Hong Kong University of Science and Technology, Alastair F. Donaldson Imperial College London, Qingchao Shen Tianjin University, Yongqiang Tian Monash University, Junjie Chen Tianjin University, Shing-Chi Cheung Hong Kong University of Science and Technology | ||
16:30 15mResearch paper | META²V2V: Revealing Behavioural Deviations under Mutual Perception in Multi-Vehicle Autonomous Driving Research Track Lejin Li Kyushu University, Xiao-Yi Zhang University of Science and Technology Beijing, Shuncheng Tang University of Science and Technology of China, Zhenya Zhang Kyushu University, Jianjun Zhao Kyushu University Media Attached | ||
16:45 15mTalk | DeFT: Maintaining Determinism and Extracting Unit Tests for Autonomous Driving Planning Research Track Yuqi Huai University of California, Irvine, Yuntianyi Chen University of California, Irvine, Ziwen Wan University of California, Irvine, Alfred Chen University of California, Irvine, Joshua Garcia University of California, Irvine DOI Pre-print | ||
17:00 15mTalk | TARIPlay: A Test Framework for AR Applications based on Interactive Area Detection in Playback Videos Research Track Seyed Amir Mousavi PhD Student at University of Texas at San Antonio, Xiaoyin Wang University of Texas at San Antonio | ||
17:15 15mTalk | Validating Mixed-Integer Programming Solvers Research Track Xintong Zhou University of Waterloo, Zhenyang Xu University of Waterloo, Chengnian Sun University of Waterloo | ||