publication venue for LLVMVF: A Generic Approach for Verification of Multicore Software 2013 Synchronizing sequences and symbolic traversal techniques in test generation 1993 Fault simulation for general FCMOS ICs 1991