Software merging and slicing (IEEE Computer Soc. Press, 1995)