Partial program correctness
Published • Nov 12, 2021
Authors:
Stuart Davis Herring
Abstract
Discussed the preexisting problem of input dependence, interactions with other kinds of observable behavior and lack of debugger support. Also fixed (preexisting) "first" in wording based SGI review.
Subject
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!