An Extensible Open-Source Compiler Infrastructure for Testing.

Daniel J. Quinlan Shmuel Ur Richard W. Vuduc An Extensible Open-Source Compiler Infrastructure for Testing. 116-133 2005 conf/hvc/2005 Haifa Verification Conference http://dx.doi.org/10.1007/11678779_9 db/conf/hvc/hvc2005.html#QuinlanUV05