Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Software testing and evaluation
Software testing and evaluation
The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Information Processing Letters
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Experimental results from an automatic test case generator
ACM Transactions on Software Engineering and Methodology (TOSEM)
Sequential Search: A Method for Solving Constrained Optimization Problems
Journal of the ACM (JACM)
Art of Software Testing
ATLAS-An Automated Software Testing System
ICSE '76 Proceedings of the 2nd international conference on Software engineering
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
Automatic generation of random self-checking test cases
IBM Systems Journal
Assertion-oriented automated test data generation
Proceedings of the 18th international conference on Software engineering
ADTEST: A Test Data Generation Suite for Ada Software Systems
IEEE Transactions on Software Engineering
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
An applicable test data generation algorithm for domain errors
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
Black-box test reduction using input-output analysis
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Automated test case generation for spreadsheets
Proceedings of the 24th International Conference on Software Engineering
Software requirements and acceptance testing
Annals of Software Engineering
Automated Test Generation and Static Analysis
Programming and Computing Software
Automated Test Case Generation for BDI Agents
Autonomous Agents and Multi-Agent Systems
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
A search-based automated test-data generation framework for safety-critical systems
Systems engineering for business process change
An Approach to Automated Program Testing and Debugging
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Automatic Test Data Generation for Programs with Integer and Float Variables
Proceedings of the 16th IEEE international conference on Automated software engineering
A Choice Relation Framework for Supporting Category-Partition Test Case Generation
IEEE Transactions on Software Engineering
Consistency techniques for interprocedural test data generation
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of 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
Evolutionary testing of classes
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Proceedings of the 19th IEEE international conference on Automated software engineering
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables
IEEE Transactions on Software Engineering
Improved on-the-fly verification with testers
Nordic Journal of Computing
Evolutionary testing of state-based programs
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Using evolutionary algorithms for the unit testing of object-oriented software
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
A unified fitness function calculation rule for flag conditions to improve evolutionary testing
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Evolutionary Testing Using an Extended Chaining Approach
Evolutionary Computation
Integrating automated test generation into the WYSIWYT spreadsheet testing methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
The species per path approach to SearchBased test data generation
Proceedings of the 2006 international symposium on Software testing and analysis
EXE: automatically generating inputs of death
Proceedings of the 13th ACM conference on Computer and communications security
An empirical study of static program slice size
ACM Transactions on Software Engineering and Methodology (TOSEM)
Feedback-Directed Random Test Generation
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Using GUI Run-Time State as Feedback to Generate Test Cases
ICSE '07 Proceedings of the 29th international conference on Software Engineering
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Automated Test Data Generation using Search Based Software Engineering
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)
A genetic approach for random testing of database systems
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Testing input validation in Web applications through automated model recovery
Journal of Systems and Software
A tabu search algorithm for structural software testing
Computers and Operations Research
Heuristics-based infeasible path detection for dynamic test data generation
Information and Software Technology
An automated technique for risk-based test case generation and prioritization
Proceedings of the 3rd international workshop on Automation of software test
Search based software testing of object-oriented containers
Information Sciences: an International Journal
Fitness calculation approach for the switch-case construct in evolutionary testing
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Finding errors in .net with feedback-directed random testing
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
A probabilistic alternative to regression suites
Theoretical Computer Science
Towards Automation of Testing High-Level Security Properties
Proceeedings of the 22nd annual IFIP WG 11.3 working conference on Data and Applications Security
EXE: Automatically Generating Inputs of Death
ACM Transactions on Information and System Security (TISSEC)
Covering code behavior on input validation in functional testing
Information and Software Technology
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)
Test Data Generation of Bytecode by CLP Partial Evaluation
Logic-Based Program Synthesis and Transformation
MC/DC automatic test input data generation
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Dependence clusters in source code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Test-data generation guided by static defect detection
Journal of Computer Science and Technology
Using Heuristics to Automate Parameter Generation for Benchmarking of Java Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling dynamic memory management in constraint-based testing
Journal of Systems and Software
Evolutionary testing of software with function-assigned flags
Journal of Systems and Software
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
PET: a partial evaluation-based test case generation tool for Java bytecode
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Using program data-state scarcity to guide automatic test data generation
Software Quality Control
Nature-inspired techniques for conformance testing of object-oriented software
Applied Soft Computing
Iterative execution-feedback model-directed GUI testing
Information and Software Technology
Evolutionary testing of flag conditions
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
The state problem for evolutionary testing
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Evolutionary testing: a case study
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Quality improvement and optimization of test cases: a hybrid genetic algorithm based approach
ACM SIGSOFT Software Engineering Notes
Coverage criteria for state based specifications
Formal methods and testing
Testability transformation: program transformation to improve testability
Formal methods and testing
Markov chain Monte Carlo random testing
AST/UCMA/ISA/ACN'10 Proceedings of the 2010 international conference on Advances in computer science and information technology
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
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
Journal of Automated Reasoning
Directed test suite augmentation
Proceedings of the 33rd International Conference on Software Engineering
FlagRemover: A testability transformation for transforming loop-assigned flags
ACM Transactions on Software Engineering and Methodology (TOSEM)
Compositional CLP-based test data generation for imperative languages
LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
Enhancing structural software coverage by incrementally computing branch executability
Software Quality Control
Search based software engineering
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Towards a framework for constraint-based test case generation
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Execution generated test cases: how to make systems code crash itself
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
High-coverage symbolic patch testing
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
Test suite generation with memetic algorithms
Proceedings of the 15th annual conference on Genetic and evolutionary computation
Heuristic search-based approach for automated test data generation: a survey
International Journal of Bio-Inspired Computation
Automated testing with targeted event sequence generation
Proceedings of the 2013 International Symposium on Software Testing and Analysis
KATCH: high-coverage testing of software patches
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Search based software test data generation for structural testing: a perspective
ACM SIGSOFT Software Engineering Notes
Steering symbolic execution to less traveled paths
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Hi-index | 0.00 |
Software testing is very labor intensive and expensive and accounts for a significant portion of software system development cost. If the testing process could be automated, the cost of developing software could be significantly reduced. Test data generation in program testing is the process of identifying a set of test data that satisfies a selected testing criterion, such as statement coverage and branch coverage. In this article we present a chaining approach for automated software test data generation which builds on the current theory of execution-oriented test data generation. In the chaining approach, test data are derived based on the actual execution of the program under test. For many programs, the execution of the selected statement may require prior execution of some other statements. The existing methods of test data generation may not efficiently generate test data for these types of programs because they only use control flow information of a program during the search process. The chaining approach uses data dependence analysis to guide the search process, i.e., data dependence analysis automatically identifies statements that affect the execution of the selected statement. The chaining approach uses these statements to form a sequence of statements that is to be executed prior to the execution of the selected statement. The experiments have shown that the chaining approach may significantly improve the chances of finding test data as compared to the existing methods of automated test data generation.