Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution).

Marek Chalupa, Vincent Mihalkovic, Anna Rechtckov, Luks Zaoral, Jan Strejcek

Browse the full TACAS paper archive.