QuIP: Experimental design for expensive simulators with many Qualitative factors via Integer Programming
YC Liu, S Mak - arxiv preprint arxiv:2501.14616, 2025 - arxiv.org
The need to explore and/or optimize expensive simulators with many qualitative factors
arises in broad scientific and engineering problems. Our motivating application lies in path …
arises in broad scientific and engineering problems. Our motivating application lies in path …
MaLT: Machine-Learning-Guided Test Case Design and Fault Localization of Complex Software Systems
Software testing is essential for the reliable and robust development of complex software
systems. This is particularly critical for cyber-physical systems (CPS), which require rigorous …
systems. This is particularly critical for cyber-physical systems (CPS), which require rigorous …