Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution). - Marek Chalupa; Vincent Mihalkovic; Anna Rechtácková; Lukás Zaoral; Jan Strejcek (TACAS (2), 2022)