Abstract This paper presents a theory of testing that integrates into Hoare and He’s Unifying Theory of Programming (UTP). We give test cases a denotational semantics by viewing them as specification predicates. This reformulation of test cases allows for relating test cases via refinement to specif...
Research Assistant
AI chat, annotations, notes & similar papers
No comments yet
Be the first to share your thoughts!