Dynamic Verification of C++ Generic Algorithms. (1997)

by C Wang, D Musser
Venue:IEEE Transactions on Software Engineering,