Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications. - Jeffrey Douglas; Richard A. Kemmerer (ISSTA, 1994)