Localizing Errors in Counterexample with Iteratively Witness Searching.

ShengYu Shen Ying Qin Sikun Li

Published in: ATVA (2004)

Keyphrases

model checking
search strategies
intelligent search
error propagation
search mechanism
iterative learning
randomly sampled
errors occur