Using Large Language Models to Support the Workflow of Differential Testing. | AMiner