[ACM Press the 1994 international symposium - Seattle, Washington, United States (1994.08.17-1994.08.19)] Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94 - Aslantest: a symbolic execution tool for testing Aslan formal specifications

✍ Scribed by Douglas, Jeffrey; Kemmerer, Richard A.

• Book ID: 126662387
• Publisher: ACM Press
• Year: 1994
• Weight: 972 KB
• Category: Article
• ISBN-13: 9780897916837
• DOI: 10.1145/186258.186487