Journal: Softw. Test., Verif. Reliab.