Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Axiomatizing software test data adequacy
IEEE Transactions on Software Engineering
Functional program testing and analysis
Functional program testing and analysis
The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Incremental data-flow analysis algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
Bugfind: a tool for debugging optimizing compilers
ACM SIGPLAN Notices
An Incremental Version of Iterative Data Flow Analysis
IEEE Transactions on Software Engineering
The Cost of Data Flow Testing: An Empirical Study
IEEE Transactions on Software Engineering
A tool for data flow oriented program testing
Proceedings of the second conference on Software development tools, techniques, and alternatives
A comparison of data flow path selection criteria
ICSE '85 Proceedings of the 8th international conference on Software engineering
An evaluation of required element testing strategies
ICSE '84 Proceedings of the 7th international conference on Software engineering
An approach to incremental testing
An approach to incremental testing
On the estimation of adequate test set size using fault failure rates
Journal of Systems and Software
| Hi-index | 0.00 |