Name HUA ZHENG Affiliation پژوهشگر در خارج از ایران Degree _ Website Email hzheng [at] fjnu [dot] edu [dot] cn JournalPaper Presentation FinishedProject Book Innovation Thesis Speech GrantAttraction Festival Sabbatical TheorizingChair TitleJournal 1 Efficiently Automating Covering Array Generation: A Model Checking and Metaheuristic Algorithm Approach IEEE Access