Lihua Xu Marcio S. Dias Debra J. Richardson Generating Regression Tests via Model Checking. 336-341 2004 conf/compsac/2004 COMPSAC http://csdl.computer.org/comp/proceedings/compsac/2004/2209/01/220910336abs.htm db/conf/compsac/compsac2004-R.html#XuDR04