The analysis of algorithms
Applications of symbolic evaluation
Journal of Systems and Software
A Theory of Fault-Based Testing
IEEE Transactions on Software Engineering
A Fortran language system for mutation-based software testing
Software—Practice & Experience
TAV4 Proceedings of the symposium on Testing, analysis, and verification
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Investigations of the software testing coupling effect
ACM Transactions on Software Engineering and Methodology (TOSEM)
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
An integrated system for program testing using weak mutation and data flow analysis
ICSE '85 Proceedings of the 8th international conference on Software engineering
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
Assessing Test Data Adequacy through Program Inference
ACM Transactions on Programming Languages and Systems (TOPLAS)
Test data as an aid in proving program correctness
Communications of the ACM
Communications of the ACM
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An evaluation of required element testing strategies
ICSE '84 Proceedings of the 7th international conference on Software engineering
Data flow analysis techniques for test data selection
ICSE '82 Proceedings of the 6th international conference on Software engineering
The application of error-sensitive testing strategies to debugging
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Mutation analysis of program test data
Mutation analysis of program test data
Algebraic constraints
A theory of error-based testing
A theory of error-based testing
Automatic test data generation
Automatic test data generation
Mathematical Theory of Computation
Mathematical Theory of Computation
On data flow guided program testing
ACM SIGPLAN Notices
The chaining approach for software test data generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
An experimental determination of sufficient mutant operators
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
A framework for testing database applications
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing
Journal of Electronic Testing: Theory and Applications
Provable Improvements on Branch Testing
IEEE Transactions on Software Engineering
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
A CLP Framework for Computing Structural Test Data
CL '00 Proceedings of the First International Conference on Computational Logic
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Automatic Test Data Generation for Programs with Integer and Float Variables
Proceedings of the 16th IEEE international conference on Automated software engineering
Test Purposes: Adapting the Notion of Specification to Testing
Proceedings of the 16th IEEE international conference on Automated software engineering
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
ConSUS: a light-weight program conditioner
Journal of Systems and Software - Special issue: Software reverse engineering
Empirical Software Engineering
Testing software modelling tools using data mutation
Proceedings of the 2006 international workshop on Automation of software test
Proceedings of the 1st international workshop on Random testing
The species per path approach to SearchBased test data generation
Proceedings of the 2006 international symposium on Software testing and analysis
Goal-oriented test data generation for pointer programs
Information and Software Technology
A multi-objective approach to search-based test data generation
Proceedings of the 9th annual conference on Genetic and evolutionary computation
Functional verification of task partitioning for multiprocessor embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Class-component testability analysis
SEPADS'06 Proceedings of the 5th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Handling dynamic data structures in search based testing
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Generating test data for distributed software using the chaining approach
Information and Software Technology
Testability transformation: program transformation to improve testability
Formal methods and testing
Test suite cooperative framework on software quality
CDVE'09 Proceedings of the 6th international conference on Cooperative design, visualization, and engineering
A practical system for mutation testing: help for the common programmer
ITC'94 Proceedings of the 1994 international conference on Test
WWW business applications based on the cellular model
Journal of Computer Science and Technology
FlagRemover: A testability transformation for transforming loop-assigned flags
ACM Transactions on Software Engineering and Methodology (TOSEM)
Exploration of the capabilities of constraint programming for software verification
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.00 |
Constraint-based testing is a novel way of generating test data to detect specific types of common programming faults. The conditions under which faults will be detected are encoded as mathematical systems of constraints in terms of program symbols. A set of tools, collectively called Godzilla, has been implemented that automatically generates constraint systems and solves them to create test cases for use by the Mothra testing system. Experimental results from using Godzilla show that the technique can produce test data that is very close in terms of mutation adequacy to test data that is produced manually, and at substantially reduced cost. Additionally, these experiments have suggested a new procedure for unit testing, where test cases are viewed as throw-away items rather than scarce resources.