An efficient technique for processor automatic functional test generation based on evolutionary strategies - Hudec, Ján, informatičar (Array, 2011)