published in Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) Journal