TUGEN: an automatic test suite generator integrating data-flow and control-flow methods | IEEE Conference Publication | IEEE Xplore