1. A computerized method of non-sequential program statement execution, comprising the steps of: executing an arbitrary program instruction associated with a given program, independently of a program execution sequence associated with the given program, as an initially executed statement; and instantiating a runtime stack for the given program with a first stack entry associated with the initially executed statement, such that at least a portion of the given program may be tested.