Testing Systems with Complex State | AMiner