Scalable Invalid Properties Test