The paper deals with debugging based on models of programs, which are written in a programming language. In this paper we assume an imperative, sequential assignment language L with syntax and semantics similar to Java ignoring all object- oriented constructs and method calls. We further restrict ...