Are there any readily available implementations (or some open source code) of loop iteration dependency verification algorithms like I-test, Banerjee test etc.
Are there any readily available implementations (or some open source code) of loop iteration dependency verification algorithms like I-test, Banerjee test etc.