Axiomatizing software test data adequacy
IEEE Transactions on Software Engineering
The evaluation of program-based software test data adequacy criteria
Communications of the ACM
Adequate testing and object-oriented programming
Journal of Object-Oriented Programming
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Eiffel: the language
A framework for testing object-oriented programs
Journal of Object-Oriented Programming
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Computer
Planning the Software Industrial Revolution
IEEE Software
Specifying Reusable Components Using Contracts
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
Towards a computer aided simulation model engineering (CASME) environment
WSC '93 Proceedings of the 25th conference on Winter simulation
Towards Specifying Constraints for Object-Oriented Frameworks
Information Systems Frontiers
Towards specifying constraints for object-oriented frameworks
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
| Hi-index | 0.00 |