Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs. Ultimate TestGen: Combining Parallel Trace Abstraction and Symbolic Path Execution (Competition Contribution). In Elvira Albert, Corina S. Pasareanu, editors, Fundamental Approaches to Software Engineering - 29th International Conference, FASE 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings. Volume 16504 of Lecture Notes in Computer Science, pages 492-496, Springer, 2026. [doi]
Abstract is missing.