Localizing Errors in Counterexample with Iteratively Witness Searching.

ShengYu Shen, Ying Qin, Sikun Li

Browse the full ATVA paper archive.