Kirk Sayre Usage model-based automated testing of C++ templates. 2005 conf/amost/2005 A-MOST http://doi.acm.org/10.1145/1083274.1083277 db/conf/amost/amost2005.html#Sayre05