Articles matching “Ulbrich”

Bowen Jiang, Miriam Boss, Thomas Weber, Weixing Zhang, Mattias Ulbrich, Anne Koziolek, CoCoPath: Concolic Exploration of Consistency-Preserving Paths, pp. 3:113-126, PDF, DOI. Volume 25, no. 3 ( 2026)