Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs | IEEE Conference Publication | IEEE Xplore