Prahladavaradan Sampath A. C. Rajeev S. Ramesh K. C. Shashidhar Behaviour Directed Testing of Auto-code Generators. 191-200 2008 SEFM http://dx.doi.org/10.1109/SEFM.2008.13 conf/sefm/2008 db/conf/sefm/sefm2008.html#SampathRRS08