Study on Assisting the Property-based Tests on Smart Contracts on Blockchain with Evolutionary Algorithms

Project Details

StatusFinished
Effective start/end date1/08/1931/07/20