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
Document based rational software development
Knowledge-Based Systems
Component Interface Documentation: What do we Need and Why do we Need it?
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Towards Automated Consistency Checking of Module Interface Specifications
Fundamenta Informaticae
Hi-index | 0.00 |