A Lightweight Verification Method Based on Metamorphic Relation for Nuclear Power Software
Frontiers in Energy Research(2022)
Key words
nuclear power software,metamorphic relation,lightweight verification method,software verification,metamorphic testing
AI Read Science
Must-Reading Tree
Example

Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined