ACM Transactions on Software Engineering and Methodology (2000)