Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications.

Jeffrey Douglas, Richard A. Kemmerer

Browse the full ISSTA paper archive.