Nima Dini, Cagdas Yelen, Zakaria Alrmaih, Amresh Kulkarni, Sarfraz Khurshid. Korat-API: a framework to enhance korat to better support testing and reliability techniques. In Hisham M. Haddad, Roger L. Wainwright, Richard Chbeir, editors, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018. pages 1934-1943, ACM, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.