André Baresel Hartmut Pohlheim Sadegh Sadeghipour Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms. 2428-2441 2003 conf/gecco/2003-2 GECCO http://link.springer.de/link/service/series/0558/bibs/2724/27242428.htm db/conf/gecco/gecco2003-2.html#BareselPS03