Behaviour Directed Testing of Auto-code Generators | IEEE Conference Publication | IEEE Xplore