Distributed state model inference for scriptless GUI testing. - Fernando Pastor Ricós; Arend Slomp; Beatriz Marín; Pekka Aho; Tanja E. J. Vos (J. Syst. Softw., 2023)