Test generation for (sequential) multi-valued logic networks based on genetic algorithm | IEEE Conference Publication | IEEE Xplore