Aslantest: a symbolic execution tool for testing Aslan formal specifications
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering
Hi-index | 0.00 |