Regression test selection: theory and practice