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