Automatic testing for JSON APIs