A generalized control structure and its formal definition
Communications of the ACM
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Foundations of the Trace Assertion Method of Module Interface Specification
IEEE Transactions on Software Engineering
On a Mereological System for Relational Software Specifications
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Towards a Mereological System for Direct Products and Relations
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Using information about functions in selecting test cases
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
Defining the meaning of tabular mathematical expressions
Science of Computer Programming
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
Fundamenta Informaticae
| Hi-index | 0.00 |