STARTS: Simulation Traits Assisted Random Test Selection for Multiprocessor Verification.

Li Zhou, Menglong Lu, Li Luo, Jianfeng Zhang, Junbo Tie

Browse the full ITC paper archive.