Besnik Seljimi Ioannis Parissis Automatic generation of test data generators for synchronous programs: Lutess V2. 8-12 2007 DOSTA http://doi.acm.org/10.1145/1294921.1294923 conf/sigsoft/2007dosta db/conf/sigsoft/dosta2007.html#SeljimiP07