State Model Inference Through the GUI Using Run-Time Test Generation | Publicación