Evolutionary Testing: A Case Study. - Stella Levin; Amiram Yehudai (Haifa Verification Conference, 2006)