A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections. - Luciana Brasil Rebelo dos Santos; Valdivino Alexandre de Santiago Júnior; Albino Vieira Freitas (ICCSA (5), 2017)

Software inspections: comparing a formal method based with a classical reading methodology. - Luciana Brasil Rebelo dos Santos; Valdivino Alexandre de Santiago Júnior; Lucas Venezian Povoa; Albino Vieira Freitas; Cleyton De Castro Mario (Int. J. Comput. Appl. Technol., 2019)