Protocol conformance test generation using multiple UIO sequences with overlapping
SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
Dynamic impact analysis: a cost-effective technique to enforce error-propagation
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Modeling software for accurate data flow representation
ICSE '93 Proceedings of the 15th international conference on Software Engineering
An analytical comparison of the fault-detecting ability of data flow testing techniques
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing
Journal of Electronic Testing: Theory and Applications
Provable Improvements on Branch Testing
IEEE Transactions on Software Engineering
Constraint based structural testing criteria
Journal of Systems and Software
Testing techniques in software engineering
Testing techniques in software engineering
Hi-index | 0.89 |