SV-Gen：A Test Case Generation Tool for Ethereum Smart Contract Based on Data Dependency Analysis of State Variable
BackTracking Algorithm Folder: code performing data dependency analysis of state variable to generate function invocation sequence are given.