Combinational test generation for transition faults in acyclic sequential circuits | IEEE Conference Publication | IEEE Xplore