Sami Beydeda Integrated generation of specification- and program-based test cases. 294-299 2004 conf/iastedSEA/2004 IASTED Conf. on Software Engineering and Applications db/conf/iastedSEA/iastedSEA2004.html#Beydeda04