Verification of Program by Inspecting Internal Relations Relying on User Requirements
Sign Up to like & getrecommendations! Published in 2018 at "IEEE Access"
DOI: 10.1109/access.2018.2836342
Abstract: Software verification can ensure the software quality by inspecting the properties of program. A key issue for software verification is to check whether the software can meet user requirements especially when the requirements change frequently.… read more here.
Keywords: user requirements; program inspecting; program; inspecting internal ... See more keywords