GDBMiner: Mining Precise Input Grammars on (Almost) Any System. - Max Eisele; Johannes Hägele; Christopher Huth; Andreas Zeller (Leibniz Trans. Embed. Syst., 2025)