Sami Beydeda Volker Gruhn BINTEST - Binary Search-based Test Case Generation. 28-33 2003 conf/compsac/2003 COMPSAC http://csdl.computer.org/comp/proceedings/compsac/2003/2020/00/20200028abs.htm db/conf/compsac/compsac2003.html#BeydedaG03