Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb. SAW: the software analysis workbench. In Jeff Boleng, S. Tucker Taft, editors, Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013. pages 15-18, ACM, 2013. [doi]
Abstract is missing.