check specs: Added JSON input cases