Extreme programming meets systematic testing using Coyote