Dustin Rhodes, Tim Disney, Cormac Flanagan. Dynamic detection of object capability violations through model checking. In Andrew P. Black, Laurence Tratt, editors, DLS'14, Proceedings of the 10th ACM Symposium on Dynamic Languages, part of SLASH 2014, Portland, OR, USA, October 20-24, 2014. pages 103-112, ACM, 2014. [doi]
Abstract is missing.