Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Checking relational specifications with binary decision diagrams
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Nitpick: a tool for interactive design analysis
ICSE '97 Proceedings of the 19th international conference on Software engineering
Isomorph-free model enumeration: a new method for checking relational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering
A program verification system based on oz
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Hi-index | 0.00 |