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. Software inspections: comparing a formal method based with a classical reading methodology. IJCAT, 59(4):296-317, 2019. [doi]

Authors

Luciana Brasil Rebelo dos Santos

This author has not been identified. Look up 'Luciana Brasil Rebelo dos Santos' in Google

Valdivino Alexandre de Santiago Júnior

This author has not been identified. Look up 'Valdivino Alexandre de Santiago Júnior' in Google

Lucas Venezian Povoa

This author has not been identified. Look up 'Lucas Venezian Povoa' in Google

Albino Vieira Freitas

This author has not been identified. Look up 'Albino Vieira Freitas' in Google

Cleyton De Castro Mario

This author has not been identified. Look up 'Cleyton De Castro Mario' in Google