publication venue for SLIMECRAFT: State Learning for Client-Server Regression Analysis and Fault Testing 2024