Korat-API: a framework to enhance korat to better support testing and reliability techniques.

Nima Dini, Cagdas Yelen, Zakaria Alrmaih, Amresh Kulkarni, Sarfraz Khurshid

Browse the full SAC paper archive.