SEIM: static extraction of interaction models. - Leonardo Mariani; Mauro Pezzè; Oliviero Riganelli; Mauro Santoro (PESOS, 2010)

AutoBlackTest: a tool for automatic black-box testing. - Leonardo Mariani; Mauro Pezzè; Oliviero Riganelli; Mauro Santoro (ICSE, 2011)

Extracting Widget Descriptions from GUIs. - Giovanni Becce; Leonardo Mariani; Oliviero Riganelli; Mauro Santoro (FASE, 2012)

G-RankTest: Regression testing of controller applications. - Leonardo Mariani; Oliviero Riganelli; Mauro Santoro; Muhammad Ali (AST, 2012)

AutoBlackTest: Automatic Black-Box Testing of Interactive Applications. - Leonardo Mariani; Mauro Pezzè; Oliviero Riganelli; Mauro Santoro (ICST, 2012)

Learning extended FSA from software: An empirical assessment. - David Lo 001; Leonardo Mariani; Mauro Santoro (J. Syst. Softw., 2012)

Link: exploiting the web of data to generate test inputs. - Leonardo Mariani; Mauro Pezzè; Oliviero Riganelli; Mauro Santoro (ISSTA, 2014)

Automatic testing of GUI-based applications. - Leonardo Mariani; Mauro Pezzè; Oliviero Riganelli; Mauro Santoro (Softw. Test. Verification Reliab., 2014)

G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software. - Leonardo Mariani; Oliviero Riganelli; Mauro Santoro; Ali Muhammad (Validation of Evolving Software, 2015)

Towards an Engineering Methodology for Multi-model Scientific Simulations. - Alessandro Margara; Mauro Pezzè; Igor V. Pivkin; Mauro Santoro (SE4HPCS@ICSE, 2015)

GK-Tail+ An Efficient Approach to Learn Software Models. - Leonardo Mariani; Mauro Pezzè; Mauro Santoro (IEEE Trans. Software Eng., 2017)