Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati. Efficient software model checking of soundness of type systems. In Gail E. Harris, editor, Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA. pages 493-504, ACM, 2008. [doi]