Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Towards a Framework for Software Measurement Validation
IEEE Transactions on Software Engineering
Automatic Generation of Formal Specification from Requirements Definition
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Hi-index | 5.23 |