A toolkit for property-based testing of web services and for test code evolution