State-based model checking of event-driven system requirements
SIGSOFT '91 Proceedings of the conference on Software for citical systems
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A logic-model semantics for SCR software requirements
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Automatic generation of state invariants from requirements specifications
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
A dynamic assertion-based verification platform for validation of UML designs
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |