Efficient Loop Navigation for Symbolic Execution.

Jan Obdrzlek, Marek Trtk

Browse the full ATVA paper archive.