Theoretical comparison of testing methods
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
A Theory of Fault-Based Testing
IEEE Transactions on Software Engineering
Effective C++: 50 specific ways to improve your programs and designs
Effective C++: 50 specific ways to improve your programs and designs
Investigations of the software testing coupling effect
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic impact analysis: a cost-effective technique to enforce error-propagation
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
An experimental evaluation of selective mutation
ICSE '93 Proceedings of the 15th international conference on Software Engineering
An experimental evaluation of simple methods for seeding program errors
ICSE '85 Proceedings of the 8th international conference on Software engineering
Predicting Where Faults Can Hide from Testing
IEEE Software
An Experimental Determination of Sufficient Mutation Operators
An Experimental Determination of Sufficient Mutation Operators
An experimental determination of sufficient mutant operators
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testability, fault size and the domain-to-range ratio: An eternal triangle
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Interface Mutation Test Adequacy Criterion: An Empirical Evaluation
Empirical Software Engineering
Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software
Proceedings of the 19th IEEE international conference on Automated software engineering
DART: directed automated random testing
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
CUTE: a concolic unit testing engine for C
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Software partitioning for effective automated unit testing
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Predictive testing: amplifying the effectiveness of software testing
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
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)
Predictive testing: amplifying the effectiveness of software testing
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
Directed test generation using symbolic grammars
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Effective random testing of concurrent programs
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
An empirical, path-oriented approach to software analysis and testing
Journal of Systems and Software
Automatic test data generation using particle systems
Proceedings of the 2008 ACM symposium on Applied computing
Towards Mutation Analysis for Lustre Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Using a pilot study to derive a GUI model for automated testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
WISE: Automated test generation for worst-case complexity
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Information and Software Technology
Automatic mining of functionally equivalent code fragments via random testing
Proceedings of the eighteenth international symposium on Software testing and analysis
Journal of Automated Reasoning
Contract-driven testing of javascript code
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
An empirical study on the usage of testability information to fault localization in software
Proceedings of the 2011 ACM Symposium on Applied Computing
A multiple-population genetic algorithm for branch coverage test data generation
Software Quality Control
H-fuzzing: a new heuristic method for fuzzing data generation
NPC'11 Proceedings of the 8th IFIP international conference on Network and parallel computing
Fault links: exploring the relationship between module and fault types
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Software model checking: searching for computations in the abstract or the concrete
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Accounting for defect characteristics in evaluations of testing techniques
ACM Transactions on Software Engineering and Methodology (TOSEM)
Component testing is not enough: a study of software faults in telecom middleware
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
Science of Computer Programming
Diversity oriented test data generation using metaheuristic search techniques
Information Sciences: an International Journal
GUI testing assisted by human knowledge: Random vs. functional
Journal of Systems and Software
Hi-index | 0.00 |
Program faults are artifacts that are widely studied, but there are many aspects of faults that we still do not understand. In addition to the simple fact that one important goal during testing is to cause failures and thereby detect faults, a full understanding of the characteristics of faults is crucial to several research areas in testing. These include fault-based testing, testability, mutation testing, and the comparative evaluation of testing strategies. In this workshop paper, we explore the fundamental nature of faults by looking at the differences between a syntactic and semantic characterization of faults. We offer definitions of these characteristics and explore the differentiation. Specifically, we discuss the concept of "size" of program faults --- the measurement of size provides interesting and useful distinctions between the syntactic and semantic characterization of faults. We use the fault size observations to make several predictions about testing and present preliminary data that supports this model. We also use the model to offer explanations about several questions that have intrigued testing researchers.