Focuses on verification of AI/ML and smart-contract software via metamorphic testing. Develops relation-prioritization using data diversity and execution-profile dissimilarity to accelerate early fault detection, streamline regression testing, and lower testing cost.