Teralizer automatically transforms JUnit unit tests into property-based jqwik tests by deriving input specifications from program semantics via symbolic analysis, improving mutation scores on generated tests while surfacing practical barriers to wider applicability.
Johann Glock
Researcher, Senior Software Engineer, PhD Candidate
About
Johann Glock is a researcher and senior software engineer in the AISYS group at the Software Competence Center Hagenberg (SCCH). He is also a PhD candidate in Informatics at the University of Klagenfurt, supervised by Prof. Martin Pinzger and Prof. Johann Eder. His doctoral research focuses on practical applications of formal program analysis, including semantic differencing and software test generalization. He developed PASDA and Teralizer. Outside his professional work, he data-mines games, builds interactive maps and mods, and contributes tools to their communities.
Selected Publications All publications →
PASDA uses differential symbolic execution to classify behavioral equivalence between program versions, and introduces best-effort heuristics for cases where no formal proof can be found — outperforming three existing tools by 3–7% on a standard benchmark.
Featured Projects All projects →
Erenshor Community Tools Active
Interactive maps, mods, and wiki bot for the Erenshor community
Ancient Kingdoms Compendium Active
Data-mined compendium and interactive world map for Ancient Kingdoms
Afallon Compendium Active
Interactive world map and searchable game reference for the single-player RPG Afallon
