Manipulation of trees in information retrieval
Communications of the ACM
A control system for logical block diagnosis with data loading
Communications of the ACM
Automation of program debugging
ACM '61 Proceedings of the 1961 16th ACM national meeting
Digital Computer Programming
On the conversion of programs to decision tables: method and objectives
Communications of the ACM
Debugging systems at the source language level
Communications of the ACM
An evaluation of change-based coverage criteria
Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools
Bounded-Interference sequentialization for testing concurrent programs
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
A probabilistic analysis method for functional qualification under mutation analysis
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
| Hi-index | 48.25 |