Automatic concolic test generation with virtual prototypes for post-silicon validation.

Kai Cong, Fei Xie, Li Lei

Browse the full ICCAD paper archive.