How Skeleton Strings Can Help Your Testing