Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees.

Sébastien Lapierre Ettore Merlo Gilles Savard Giuliano Antoniol Roberto Fiutem Paolo Tonella Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees. 189-198 1999 ICSM http://computer.org/proceedings/icsm/0016/00160189abs.htm db/conf/icsm/icsm1999.html#LapierreMSAFT99