In CS speak very roughly this would mean something like disproving an algorithm by giving it a case that fails it. Right?