Christophe Gaston Pascale Le Gall Nicolas Rapin Assia Touil Symbolic Execution Techniques for Test Purpose Definition. 1-18 2006 conf/pts/2006 TestCom http://dx.doi.org/10.1007/11754008_1 db/conf/pts/testcom2006.html#GastonGRT06