Gürcan Gülesir: Evolvable Behavior Specifications Using Context-Sensitive Wildcards. University of Twente, Enschede, Netherlands 2008