Journal: Ann. Software Eng.