Yi Ji, Simon Mak, Ryan Lekivetz, Joseph Morgan. MaLT: Machine-Learning-Guided Test Case Design and Fault Localization of Complex Software Systems. In 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2024, Raleigh, NC, USA, October 3-4, 2024. pages 58-62, IEEE, 2024. [doi]
Abstract is missing.