Structured walkthroughs: 4th edition
Structured walkthroughs: 4th edition
An Approach to Program Testing
ACM Computing Surveys (CSUR)
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
Applicability of Software Validation Techniques to Scientific Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic execution and program testing
Communications of the ACM
Art of Software Testing
Quantitative evaluation of software quality
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Automated generation of testcase datasets
Proceedings of the international conference on Reliable software
Finite state modelling in program development
Proceedings of the international conference on Reliable software
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
Principles of Program Design
Computer system reliability and nuclear war
Communications of the ACM
A survey of software functional testing methods
ACM SIGSOFT Software Engineering Notes
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
A study of 'hard to find' data processing errors (abstract)
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Sensitive test data for logic expressions
ACM SIGSOFT Software Engineering Notes
ACM SIGSIM Simulation Digest
Modeling Input Space for Testing Scientific Computational Software: A Case Study
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
A tool-based approach for software testing and validation
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
| Hi-index | 0.02 |