1. Random search for hyper-parameter optimization;Bergstra;J. Mach. Learn. Res.,2012
2. Random forests;Breiman;Mach. Learn.,2001
3. Cross-validation methods;Browne;J. Math. Psychol.,2000
4. Machine learning-based anomaly detection for post-silicon bug diagnosis;DeOrio,2013
5. On generation of properties from specification;Devarajegowda,2017