Journal: IEEE Trans. Software Eng.