Metamorphic Testing: A Review of Challenges and Opportunities
Symbolic execution for software testing: three decades later