Communications of the ACM
Information Processing Letters
Princples of Computer Programming
Princples of Computer Programming
Modern Programming Practices: A Report from Industry
Modern Programming Practices: A Report from Industry
Art of Software Testing
A partition analysis method to increase program reliability
ICSE '81 Proceedings of the 5th international conference on Software engineering
Reliability, sampling, and algorithmic randomness
TAV4 Proceedings of the symposium on Testing, analysis, and verification
An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Assessing the fault-detecting ability of testing methods
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Faults on its sleeve: amplifying software reliability testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
STATEMATE applied to statistical software testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Partition testing, stratified sampling, and cluster analysis
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
A Markov Chain Model for Statistical Software Testing
IEEE Transactions on Software Engineering
Foundations of software testing: dependability theory
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Software trustability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the Relationship Between Partition and Random Testing
IEEE Transactions on Software Engineering
Effect of test set minimization on fault detection effectiveness
Proceedings of the 17th international conference on Software engineering
Using testability measures for dependability assessment
Proceedings of the 17th international conference on Software engineering
On the Use of Testability Measures for Dependability Assessment
IEEE Transactions on Software Engineering
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing
IEEE Transactions on Software Engineering
Choosing a testing method to deliver reliability
ICSE '97 Proceedings of the 19th international conference on Software engineering
A theory of probabilistic functional testing
ICSE '97 Proceedings of the 19th international conference on Software engineering
An analytical comparison of the fault-detecting ability of data flow testing techniques
ICSE '93 Proceedings of the 15th international conference on Software Engineering
The AETG System: An Approach to Testing Based on Combinatorial Design
IEEE Transactions on Software Engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
On random and partition testing
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Evaluating Testing Methods by Delivered Reliability
IEEE Transactions on Software Engineering
Lutess: a specification-driven testing environment for synchronous software
Proceedings of the 21st international conference on Software engineering
Estimation of software reliability by stratified sampling
ACM Transactions on Software Engineering and Methodology (TOSEM)
Partition Testing vs. Random Testing: The Influence of Uncertainty
IEEE Transactions on Software Engineering
Automatically Checking an Implementation against Its Formal Specification
IEEE Transactions on Software Engineering
On subdomains: Testing, profiles, and components
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Comparison of delivered reliability of branch, data flow and operational testing: A case study
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Finding failures by cluster analysis of execution profiles
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Theory of software reliability based on components
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
On Comparisons of Random, Partition, and Proportional Partition Testing
IEEE Transactions on Software Engineering
Bayesian Graphical Models for Software Testing
IEEE Transactions on Software Engineering
Testing monadic code with QuickCheck
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
The ability of directed tests to predict software quality
Annals of Software Engineering
Modeling reliability growth during non-representative
Annals of Software Engineering
Annals of Software Engineering
Feasible input domain partitioning in software testing: RCS case study
Annals of Software Engineering
Test Case Generation as an AI Planning Problem
Automated Software Engineering
Problems and Prospects in Quantifying Software Maintainability
Empirical Software Engineering
A General Model of Unit Testing Efficacy
Software Quality Control
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
AI Planner Assisted Test Generation
Software Quality Control
Fast Anti-Random (FAR) Test Generation to Improve the Quality of Behavioral Model Verification
Journal of Electronic Testing: Theory and Applications
Are We Testing for True Reliability?
IEEE Software
Operational Profiles in Software-Reliability Engineering
IEEE Software
IEEE Software
A Formal Analysis of the Fault-Detecting Ability of Testing Methods
IEEE Transactions on Software Engineering
On some reliability estimation problems in random and partition testing
IEEE Transactions on Software Engineering
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing
IEEE Transactions on Software Engineering
Provable Improvements on Branch Testing
IEEE Transactions on Software Engineering
A Model of Code Sharing for Estimating Software Failure on Demand Probabilities
IEEE Transactions on Software Engineering
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
Testing monadic code with QuickCheck
ACM SIGPLAN Notices
Comparing Partition and Random Testing via Majorization and Schur Functions
IEEE Transactions on Software Engineering
Failure and Fault Analysis for Software Debugging
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Systems testing and statistical test data coverage
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Difficulties Measuring Software Risk in an Industrial Environment
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Improving test suites via operational abstraction
Proceedings of the 25th International Conference on Software Engineering
Integrating Approximation Methods with the Generalized Proportional Sampling Strategy
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Assessing Neural Networks as Guides for Testing Activities
METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
Test Case Design Based on Z and the Classification-Tree Method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
On the Sufficiency of Limited Testing for Knowledge Based Systems
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Automatic Test Generation using Checkpoint Encoding and Antirandom Testing
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Confidence-Based Reliability And Statistical Coverage Estimation
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Testing Process Guidance for Resource Constrained Software Testing
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Coverage testing software architectural design in SDL
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Using operational distributions to judge testing progress
Proceedings of the 2003 ACM symposium on Applied computing
Data Generation for Path Testing
Software Quality Control
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
On the analytical comparison of testing techniques
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Model based testing in incremental system development
Journal of Systems and Software - Special issue: Rapid system prototyping
On the Statistical Properties of the F-measure
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
A Case Study of Coverage-Checked Random Data Structure Testing
Proceedings of the 19th IEEE international conference on Automated software engineering
A Revisit of Adaptive Random Testing by Restriction
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Evaluation of debug-testing efficiency by duplication of the detected fault and delay time of repair
Information Sciences—Informatics and Computer Science: An International Journal
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
Program partitioning: a framework for combining static and dynamic analysis
Proceedings of the 2006 international workshop on Dynamic systems analysis
When only random testing will do
Proceedings of the 1st international workshop on Random testing
Proceedings of the 1st international workshop on Random testing
Tool support for randomized unit testing
Proceedings of the 1st international workshop on Random testing
Object distance and its application to adaptive random testing of object-oriented programs
Proceedings of the 1st international workshop on Random testing
Subdomain testing of units and systems with state
Proceedings of the 2006 international symposium on Software testing and analysis
An empirical analysis and comparison of random testing techniques
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
On the statistical properties of testing effectiveness measures
Journal of Systems and Software - Special issue: Quality software
Adaptive random testing through iterative partitioning revisited
Proceedings of the 3rd international workshop on Software quality assurance
Adaptive software testing with fixed-memory feedback
Journal of Systems and Software
Feedback-Directed Random Test Generation
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Random Generation of Test Inputs for Implicitly Defined Subdomains
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Experimental assessment of random testing for object-oriented software
Proceedings of the 2007 international symposium on Software testing and analysis
Improving random test sets using the diversity oriented test data generation
Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
An upper bound on software testing effectiveness
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic test data generation using particle systems
Proceedings of the 2008 ACM symposium on Applied computing
ARTOO: adaptive random testing for object-oriented software
Proceedings of the 30th international conference on Software engineering
Finding errors in .net with feedback-directed random testing
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Testing with concepts and axioms in C++
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Uncertainty explicit assessment of off-the-shelf software: A Bayesian approach
Information and Software Technology
The axioms strike back: testing with concepts and axioms in C++
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Axiom-Based Transformations: Optimisation and Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Use of Uniform Random Generation of Automata for Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Software testing research and practice
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Normalized restricted random testing
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Using contracts and Boolean queries to improve the quality of automatic test generation
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Comparing the effectiveness of testing techniques
Formal methods and testing
Formal analysis of the effectiveness and predictability of random testing
Proceedings of the 19th international symposium on Software testing and analysis
How do we collect data for software reliability estimation?
Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies
A uniform random test data generator for path testing
Journal of Systems and Software
Testing container classes: random or systematic?
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
QuickCheck: a lightweight tool for random testing of Haskell programs
ACM SIGPLAN Notices
Adaptive random testing by bisection with restriction
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Jartege: a tool for random generation of unit tests for java classes
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Eclat: automatic generation and classification of test inputs
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Adaptive random testing by bisection and localization
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Improving robustness testing of COTS OS extensions
ISAS'06 Proceedings of the Third international conference on Service Availability
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Robust performance testing for digital forensic tools
Digital Investigation: The International Journal of Digital Forensics & Incident Response
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Software regression as change of input partitioning
Proceedings of the 34th International Conference on Software Engineering
A taxonomy of model-based testing approaches
Software Testing, Verification & Reliability
Testing techniques selection based on ODC fault types and software metrics
Journal of Systems and Software
Partition-based regression verification
Proceedings of the 2013 International Conference on Software Engineering
Steering symbolic execution to less traveled paths
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Diversity oriented test data generation using metaheuristic search techniques
Information Sciences: an International Journal
Hi-index | 0.00 |
Theoretical models are used to study partition testing in the abstract and to describe the circumstances under which it should perform well at failure detection. Partition testing is shown to be more valuable when the partitions are narrowly based on expected failures and there is a good chance that failures occur. It is concluded that for gaining confidence from successful tests, partition testing as usually practiced has little value.