Jump to Content

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