Gwan-Hwan Hwang Sheng-Jen Chang Huey-Der Chu Technology for Testing Nondeterministic Client/Server Database Applications. 59-77 2004 30 IEEE Trans. Software Eng. 1 http://csdl.computer.org/comp/trans/ts/2004/01/e0059abs.htm db/journals/tse/tse30.html#HwangCC04