Software engineering: reliability, development, and management.
Software engineering: reliability, development, and management.
Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Axiomatizing software test data adequacy
IEEE Transactions on Software Engineering
Information Processing Letters
Comparing the Effectiveness of Software Testing Strategies
IEEE Transactions on Software Engineering
An Approach to Program Testing
ACM Computing Surveys (CSUR)
A patent problem for abstract programming languages; machine-independent computations
STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing
Machine-independent computer programming
Machine-independent computer programming
Structural testing of programs
ACM SIGSOFT Software Engineering Notes
Theoretical comparison of testing methods
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
CATS: computer aided testing of software
APL '91 Proceedings of the international conference on APL '91
Comparison of program testing strategies
TAV4 Proceedings of the symposium on Testing, analysis, and verification
FAST: a framework for automating statistics-based testing
Software Quality Control
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
Reflections on Industry Trends and Experimental Research in Dependability
IEEE Transactions on Dependable and Secure Computing
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Knowledge-based verification of clinical guidelines by detection of anomalies
Artificial Intelligence in Medicine
| Hi-index | 48.22 |
The field of software testing spans mathematical theory, the art and practice of validation, and methodology of software development. To cover this range would require a textbook (or several texts), not a trio of articles. But the work presented in this special section is a kind of "test set." Each paper is a significant contribution within one of the three broad areas. The reader must now make the assessment that is critical to any review of test points: are they representative? My own answer is 'no'; these articles are provocative and revealing rather than routine summaries. And perhaps that is what software testing is all about: good tests are the ones that provide new insights, not the ones that cover well worn ground.