Researchers have introduced PDFuzzer, a system that uses a large language model and a constraint solver to generate complex JavaScript API-call sequences for testing PDF readers. The paper was ...