Korat-API: a framework to enhance korat to better support testing and reliability techniques. - Nima Dini; Cagdas Yelen; Zakaria Alrmaih; Amresh Kulkarni; Sarfraz Khurshid (SAC, 2018)