The First International Workshop on Automated Program Analysis, Testing and Verification

Nigel Tracey
Willem Visser
Proceedings of the International Conference on Software Engineering (2000), pp. 796

Abstract