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 PhD candidate in the Software Engineering Research Group (SERG) of Prof. Martin Pinzger at the University of Klagenfurt, working on how formal program analysis can support practical regression detection and understanding. He developed PASDA, a semantic differencing tool that describes behavioral differences between program versions, and Teralizer, which automatically generalizes existing unit tests into property-based tests. Outside research, he data-mines games, builds interactive maps and mods, and contributes tools back to the communities around them.
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