Automated detection of software failures is an important but challenging software
engineering task. It involves finding in a vast search space the failure-inducing test cases …

As blockchain platforms grow exponentially, millions of lines of smart contract code are
being deployed to manage extensive digital assets. However, vulnerabilities in this mission …