Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Applying design of experiments to software testing: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Factor-covering designs for testing software
Technometrics
Fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software Engineering Economics
Software Engineering Economics
Art of Software Testing
NUSMV: A New Symbolic Model Verifier
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Mutation Operators for Specifications
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
An Investigation of the Applicability of Design of Experiments to Software Testing
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
iContract - The Java(tm) Design by Contract(tm) Tool
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
A practical strategy for testing pair-wise coverage of network interfaces
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
A Practitioner's Guide to Software Test Design
A Practitioner's Guide to Software Test Design
Software Fault Interactions and Implications for Software Testing
IEEE Transactions on Software Engineering
Comparing the Fault Detection Effectiveness of N-way and Random Test Suites
ISESE '04 Proceedings of the 2004 International Symposium on Empirical Software Engineering
A Case Study in JML-Based Software Validation
Proceedings of the 19th IEEE international conference on Automated software engineering
Programming with Assertions: A Prospectus
IT Professional
Specification mutation for test generation and analysis
Specification mutation for test generation and analysis
Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software
IEEE Transactions on Software Engineering
Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
Interaction Testing in Model-Based Development: Effect on Model-Coverage
APSEC '06 Proceedings of the XIII Asia Pacific Software Engineering Conference
Testing across configurations: implications for combinatorial testing
ACM SIGSOFT Software Engineering Notes
Using GUI Run-Time State as Feedback to Generate Test Cases
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Pseudo-Exhaustive Testing for Software
SEW '06 Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop
Optimizing effectiveness and efficiency of software testing: a hybrid approach
Optimizing effectiveness and efficiency of software testing: a hybrid approach
The density algorithm for pairwise interaction testing: Research Articles
Software Testing, Verification & Reliability
An Overview of Anna, a Specification Language for Ada
IEEE Software
Covering array sampling of input event sequences for automated gui testing
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Fuzzing: Brute Force Vulnerability Discovery
Fuzzing: Brute Force Vulnerability Discovery
Introduction to Software Testing
Introduction to Software Testing
Model-Based Tests for Access Control Policies
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
IPOG-IPOG-D: efficient test generation for multi-way combinatorial testing
Software Testing, Verification & Reliability
An Interaction-Based Test Sequence Generation Approach for Testing Web Applications
HASE '08 Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium
Property Verification for Generic Access Control Models
EUC '08 Proceedings of the 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing - Volume 02
Combinatorial Software Testing
Computer
Fault-based combinatorial testing of web services
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Foundations of Software Testing
Foundations of Software Testing
Quantum adiabatic machine learning
Quantum Information Processing
Constructing test cases for n-wise testing from tree-based test models
Proceedings of the Fourth Symposium on Information and Communication Technology
Hi-index | 0.00 |
Combinatorial testing can help detect problems like this early in the testing life cycle. The key insight underlying t-way combinatorial testing is that not every parameter contributes to every fault and most faults are caused by interactions between a relatively small number of parameters. This publication provides a self-contained tutorial on using combinatorial testing for real-world software, including how to use it effectively for system and software assurance. It introduces the key concepts and methods, explains use of software tools for generating combinatorial tests (freely available on the NIST web site csrc.nist.gov/acts), and discusses advanced topics such as the use of formal models of software to determine the expected results for each set of test inputs. With each topic, a section on costs and practical considerations explains tradeoffs and limitations that may impact resources or funding. The material is accessible to an undergraduate student of computer science or engineering, and includes an extensive set of references to papers that provide more depth on each topic.