Evolvable behavior specifications using context-sensitive wildcards by