Verification, validation and testing empirical studies: trends and perspectives - Maldonado, José Carlos (Simpósio Brasileiro de Engenharia de Software, 2005)