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

Research Areas