Automatic Test Case Generation for Jasper App HDL Compiler: An Industry Experience. - Mirlaine Crepalde; Augusto Mafra; Lucas Cavalini; Lucas Martins; Guilherme Amorim; Pedro Henrique Santos; Fabiano Peixoto (CC, 2025)