The analysis of algorithms
Functional program testing and analysis
Functional program testing and analysis
Linear programming and network flows (2nd ed.)
Linear programming and network flows (2nd ed.)
An integrated system for automatically generating test data
ISCI '90 Proceedings of the first international conference on systems integration on Systems integration '90
A Fortran language system for mutation-based software testing
Software—Practice & Experience
A comparison of data flow path selection criteria
ICSE '85 Proceedings of the 8th international conference on Software engineering
An Approach to Program Testing
ACM Computing Surveys (CSUR)
Symbolic execution and program testing
Communications of the ACM
Art of Software Testing
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
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
A theory of error-based testing
A theory of error-based testing
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
Automatic test data generation
Automatic test data generation
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)
Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis
IEEE Transactions on Computers - Special issue on fault-tolerant computing
Experimental results from an automatic test case generator
ACM Transactions on Software Engineering and Methodology (TOSEM)
Incremental program testing using program dependence graphs
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
Test case generation by means of learning techniques
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
The chaining approach for software test data generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated test data generation for programs with procedures
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
An experimental determination of sufficient mutant operators
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing by means of inductive program learning
ACM Transactions on Software Engineering and Methodology (TOSEM)
Assertion-oriented automated test data generation
Proceedings of the 18th international conference on Software engineering
A knowledge-based approach for the validation of simulation models: the foundation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
Progress toward automated software testing
ICSE '91 Proceedings of the 13th international conference on Software engineering
An experimental evaluation of selective mutation
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Predicate-based test generation for computer programs
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Property-based testing: a new approach to testing for assurance
ACM SIGSOFT Software Engineering Notes
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Feasible test path selection by principal slicing
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Automatic test data generation using constraint solving techniques
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Automated program flaw finding using simulated annealing
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Automated regression test generation
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Automated test data generation using an iterative relaxation method
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
From Design Validation to Hardware Testing: A Unified Approach
Journal of Electronic Testing: Theory and Applications - Special issue on the IEEE European Test Workshop
Interface Mutation: An Approach for Integration Testing
IEEE Transactions on Software Engineering
Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing
Journal of Electronic Testing: Theory and Applications
Automated test case generation for spreadsheets
Proceedings of the 24th International Conference on Software Engineering
Efficient path conditions in dependence graphs
Proceedings of the 24th International Conference on Software Engineering
Programming faults and errors: Towards a theory of software incorrectness
Annals of Software Engineering
Interface Mutation Test Adequacy Criterion: An Empirical Evaluation
Empirical Software Engineering
Exploring the Software Development Trilogy
IEEE Software
Object-Oriented Software Evolution
IEEE Transactions on Software Engineering
An Empirical Evaluation of Weak Mutation
IEEE Transactions on Software Engineering
Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods
IEEE Transactions on Software Engineering
Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Constraint Solving in Test-Data Generation
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Improving Driver Robustness: An Evaluation of the Devil Approach
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
A search-based automated test-data generation framework for safety-critical systems
Systems engineering for business process change
On the divide-and-conquer approach towards test suite reduction
Information Sciences: an International Journal
Assessing Neural Networks as Guides for Testing Activities
METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
Automatic test generation for predicates
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Automatic Test Generation using Checkpoint Encoding and Antirandom Testing
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Mutation Testing Applied to Validate Specifications Based on Statecharts
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Building Trust into OO Components Using a Genetic Analogy
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Evaluation of Regressive Methods for Automated Generation of Test Trajectories
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Detecting associative shift faults in predicate testing
Journal of Systems and Software
The data mining approach to automated software testing
Proceedings of the ninth ACM SIGKDD international conference on Knowledge discovery and data mining
Data Generation for Path Testing
Software Quality Control
A neural net based approach to Test Oracle
ACM SIGSOFT Software Engineering Notes
Generating test cases for web services using data perturbation
ACM SIGSOFT Software Engineering Notes
An experimental mutation system for Java
ACM SIGSOFT Software Engineering Notes
Mutation Sampling Technique for the Generation of Structural Test Data
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
The Efficiency of Critical Slicing in Fault Localization
Software Quality Control
Computing the minimum DNF representation of boolean functions defined by intervals
Discrete Applied Mathematics - Special issue: Boolean and pseudo-boolean funtions
Checking Inside the Black Box: Regression Testing by Comparing Value Spectra
IEEE Transactions on Software Engineering
Constraint-based test data generation in the presence of stack-directed pointers
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Generation of Positive and Negative Tests for Parsers
Programming and Computing Software
Integrating automated test generation into the WYSIWYT spreadsheet testing methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing software modelling tools using data mutation
Proceedings of the 2006 international workshop on Automation of software test
The class-level mutants of MuJava
Proceedings of the 2006 international workshop on Automation of software test
The state problem for test generation in Simulink
Proceedings of the 8th annual conference on Genetic and evolutionary computation
Proceedings of the 1st international workshop on Random testing
Constraint based structural testing criteria
Journal of Systems and Software
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy
Journal of Systems and Software
Avoiding coincidental correctness in boundary value analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Efficient path conditions in dependence graphs for software safety analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Information and Software Technology
A fault model and mutation testing of access control policies
Proceedings of the 16th international conference on World Wide Web
Test conditions for fault classes in Boolean specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards a Framework for Differential Unit Testing of Object-Oriented Programs
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Goal-oriented test data generation for pointer programs
Information and Software Technology
Random testing: from the classical approach to a global view and full test automation
Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
Parameterizing random test data according to equivalence classes
Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
A search-based framework for automatic testing of MATLAB/Simulink models
Journal of Systems and Software
A tabu search algorithm for structural software testing
Computers and Operations Research
What causes a system to satisfy a specification?
ACM Transactions on Computational Logic (TOCL)
A novel approach for test suite reduction based on requirement relation contraction
Proceedings of the 2008 ACM symposium on Applied computing
Class-component testability analysis
SEPADS'06 Proceedings of the 5th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
BERT: BEhavioral Regression Testing
WODA '08 Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)
A mutation model for the SystemC TLM 2.0 communication interfaces
Proceedings of the conference on Design, automation and test in Europe
A rigorous approach towards test case generation
Information Sciences: an International Journal
Bytecode fault injection for Java software
Journal of Systems and Software
Automation of broad sanity test generation
Programming and Computing Software
Automated test data generation using a scatter search approach
Information and Software Technology
Empirical evaluation of a nesting testability transformation for evolutionary testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Fuzzy Logic Based Metric in Software Testing
Proceedings of the 2006 conference on Advances in Intelligent IT: Active Media Technology 2006
Integration of verification methods for program systems
Programming and Computing Software
Modelling dynamic memory management in constraint-based testing
Journal of Systems and Software
Computing the minimum DNF representation of Boolean functions defined by intervals
Discrete Applied Mathematics - Special issue: Boolean and pseudo-boolean funtions
Generating test data for distributed software using the chaining approach
Information and Software Technology
Software testing research and practice
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Data generation in model-based testing
Proceedings of the 2010 ACM Symposium on Applied Computing
Coverage criteria for state based specifications
Formal methods and testing
From behaviour preservation to behaviour modification: constraint-based mutant generation
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Is operator-based mutant selection superior to random mutant selection?
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Towards automating the generation of mutation tests
Proceedings of the 5th Workshop on Automation of Software Test
Test suite cooperative framework on software quality
CDVE'09 Proceedings of the 6th international conference on Cooperative design, visualization, and engineering
Mutation-driven generation of unit tests and oracles
Proceedings of the 19th international symposium on Software testing and analysis
Test case generation for object-oriented imperative languages in clp*
Theory and Practice of Logic Programming
Efficient multi-objective higher order mutation testing with genetic programming
Journal of Systems and Software
Directed test suite augmentation: techniques and tradeoffs
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
DyGen: automatic generation of high-coverage tests via mining gigabytes of dynamic traces
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Testing techniques in software engineering
Testing techniques in software engineering
Proceedings of the 6th International Workshop on Automation of Software Test
Automatic mutation based test data generation
Proceedings of the 13th annual conference companion on Genetic and evolutionary computation
A multiple-population genetic algorithm for branch coverage test data generation
Software Quality Control
Testing software in age of data privacy: a balancing act
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Strong higher order mutation-based test data generation
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Praspel: a specification language for contract-based testing in PHP
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Model-based testing of industrial transformational systems
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Towards a framework for constraint-based test case generation
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Ordering mutants to minimise test effort in mutation testing
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Automated generation of positive and negative tests for parsers
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Applying constraint logic programming to SQL test case generation
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
Effective black-box testing with genetic algorithms
HVC'05 Proceedings of the First Haifa international conference on Hardware and Software Verification and Testing
Benchmarking and testing OSD for correctness and compliance
HVC'05 Proceedings of the First Haifa international conference on Hardware and Software Verification and Testing
Mutation based test case generation via a path selection strategy
Information and Software Technology
Probabilistic symbolic execution
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Puzzle-based automatic testing: bringing humans into the loop by solving puzzles
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Generation of test data structures using constraint logic programming
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
XEMU: an efficient QEMU based binary mutation testing framework for embedded software
Proceedings of the tenth ACM international conference on Embedded software
Generation of TLM testbenches using mutation testing
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
CarFast: achieving higher statement coverage faster
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Green: reducing, reusing and recycling constraints in program analysis
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
ConSMutate: SQL mutants for guiding concolic testing of database applications
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
International Journal of Applied Metaheuristic Computing
Mutation at the multi-class and system levels
Science of Computer Programming
Search based software test data generation for structural testing: a perspective
ACM SIGSOFT Software Engineering Notes
Journal of Systems and Software
Injecting mechanical faults to localize developer faults for evolving software
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
A case study on bypass testing of web applications
Empirical Software Engineering
| Hi-index | 0.00 |
A novel technique for automatically generating test data is presented. The technique is based on mutation analysis and creates test data that approximate relative adequacy. It is a fault-based technique that uses algebraic constraints to describe test cases designed to find particular types of faults. A set of tools (collectively called Godzilla) that automatically generates constraints and solves them to create test cases for unit and module testing has been implemented. Godzilla has been integrated with the Mothratesting system and has been used as an effective way to generate test data that kill program mutants. The authors present an initial list of constraints and discuss some of the problems that have been solved to develop the complete implementation of the technique.