Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs.

Maolin Sun, Yibiao Yang, Ming Wen, Yongcong Wang, Yuming Zhou, Hai Jin

Browse the full ICSE paper archive.