Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Axiomatizing software test data adequacy
IEEE Transactions on Software Engineering
Communications of the ACM
Metric space-based test-base adequacy criteria
The Computer Journal
Evaluating Software Complexity Measures
IEEE Transactions on Software Engineering
Computability, complexity, and languages (2nd ed.): fundamentals of theoretical computer science
Computability, complexity, and languages (2nd ed.): fundamentals of theoretical computer science
Softwear Reliability
The use of data flow information for the selection and evaluation of software test data
The use of data flow information for the selection and evaluation of software test data
Structural testing of programs
ACM SIGSOFT Software Engineering Notes
Designing programs that check their work
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
Models of Software Development Environments
IEEE Transactions on Software Engineering
Analysis and Refinement of Software Test Data Adequacy Properties
IEEE Transactions on Software Engineering
Structural testing of rule-based expert systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Ensuring semantic integrity of reusable objects (panel)
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
TOBAC: a test case browser for testing object-oriented software
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Designing programs that check their work
Journal of the ACM (JACM)
Progress toward automated software testing
ICSE '91 Proceedings of the 13th international conference on Software engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
All-du-path coverage for parallel programs
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
Clarifying Some Fundamental Concepts in Software Testing
IEEE Transactions on Software Engineering
Extending Test Templates with Inheritance
ASWEC '97 Proceedings of the Australian Software Engineering Conference
Testing Object-Oriented Programs An Integrated Approach
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Proceedings of the 16th IEEE international conference on Automated software engineering
An Investigation of Graph-Based Class Integration Test Order Strategies
IEEE Transactions on Software Engineering
Test Criteria for Context-Free Grammars
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Applications of synchronization coverage
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Empirical Software Engineering
Towards verification and testing of Java programs
Proceedings of the 2008 ACM symposium on Applied computing
Science of Computer Programming
Saturation-based testing of concurrent programs
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
OConGraX --- Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Structural coverage of feasible code
Proceedings of the 5th Workshop on Automation of Software Test
The influence of multiple artifacts on the effectiveness of software testing
Proceedings of the IEEE/ACM international conference on Automated software engineering
A pointcut-based coverage analysis approach for aspect-oriented programs
Information Sciences: an International Journal
Programs, tests, and oracles: the foundations of testing revisited
Proceedings of the 33rd International Conference on Software Engineering
An evaluation of change-based coverage criteria
Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools
Automatic structural testing with abstraction refinement and coarsening
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Enhancing structural software coverage by incrementally computing branch executability
Software Quality Control
Optimal algorithmic debugging and reduced coverage using search in structured domains
HVC'05 Proceedings of the First Haifa international conference on Hardware and Software Verification and Testing
Taming the raven --- testing the random access, visualization and exploration network RAVEN
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume 2
A testing strategy for abstract classes
Software Testing, Verification & Reliability
Test data variance as a test quality measure: exemplified for TTCN-3
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
| Hi-index | 48.22 |
In earlier work, a preliminary set of axioms for software test data adequacy was introduced in order to formalize properties which should be satisfied by any good program-based adequacy criterion. Here, we extend this work by augmenting the set with additional axioms which substantially strengthen the set. In doing so, we rule out several types of unsuitable notions of adequacy.