Information-flow and data-flow analysis of while-programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software testing and evaluation
Software testing and evaluation
Functional program testing and analysis
Functional program testing and analysis
The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
AIDA—a dynamic data flow anomaly detection system for Pascal programs
Software—Practice & Experience
The program dependence graph in static program testing
Information Processing Letters
PELAS-Program Error-Locating Assistant System
IEEE Transactions on Software Engineering
New computer methods for global optimization
New computer methods for global optimization
Information Processing Letters
Sequential Search: A Method for Solving Constrained Optimization Problems
Journal of the ACM (JACM)
Art of Software Testing
Program Flow Analysis: Theory and Application
Program Flow Analysis: Theory and Application
Test plan generation using formal grammars
ICSE '79 Proceedings of the 4th international conference on Software engineering
ATLAS-An Automated Software Testing System
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Adaptive search techniques applied to software testing
Proceedings of the 1981 ACM workshop/symposium on Measurement and evaluation of software quality
Proceedings of the 1981 ACM workshop/symposium on Measurement and evaluation of software quality
Automated generation of testcase datasets
Proceedings of the international conference on Reliable software
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
An automatic data generating system for data base simulation and testing
ACM SIGMIS Database
Automatic generation of random self-checking test cases
IBM Systems Journal
PIE: A Dynamic Failure-Based Technique
IEEE Transactions on Software Engineering
Generalized dominators and post-dominators
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Incremental program testing using program dependence graphs
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ANT—a test harness for the NELSIS CAD system
EURO-DAC '92 Proceedings of the conference on European design automation
Forward computation of dynamic program slices
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Applications of feasible path analysis to program testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
The chaining approach for software test data generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Unconstrained duals and their use in achieving all-uses coverage
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Automated test data generation for programs with procedures
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Assertion-oriented automated test data generation
Proceedings of the 18th international conference on Software engineering
Reducing and estimating the cost of test coverage criteria
Proceedings of the 18th international conference 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 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
All-du-path coverage for parallel programs
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
A framework for testing database applications
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Analysis and Testing of Programs with Exception Handling Constructs
IEEE Transactions on Software Engineering
Analysis of the constraint solver in UNA based test data generation
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
The derivation of test cases from SDL specifications
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Automated test case generation for spreadsheets
Proceedings of the 24th International Conference on 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
Testing an Intentional Naming Scheme Using Genetic Algorithms
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
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
Solving Constraints over Floating-Point Numbers
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
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
Improved method to generate path-wise test data
Journal of Computer Science and Technology
On the divide-and-conquer approach towards test suite reduction
Information Sciences: an International Journal
Evaluation of Regressive Methods for Automated Generation of Test Trajectories
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Data Generation for Path Testing
Software Quality Control
Evolutionary testing of classes
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
On-the-Fly Generation of K-Path Tests for C Functions
Proceedings of the 19th IEEE international conference on Automated software engineering
Proceedings of the 19th IEEE international conference on Automated software engineering
Search-based mutation testing for Simulink models
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Combining test case generation and runtime verification
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Teaching Automated Test Case Generation
QSIC '05 Proceedings of the Fifth International Conference on Quality 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 state problem for test generation in Simulink
Proceedings of the 8th annual conference on Genetic and evolutionary computation
The species per path approach to SearchBased test data generation
Proceedings of the 2006 international symposium on Software testing and analysis
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
Code-coverage guided prioritized test generation
Information and Software Technology
Automatic test case generation from UML communication diagrams
Information and Software Technology
A case study in test management
ACM-SE 45 Proceedings of the 45th annual southeast regional conference
System Test Planning of Software: An Optimization Approach
IEEE Transactions 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
Proceedings of the 2007 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
The impact of input domain reduction on search-based test data generation
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Detecting large number of infeasible paths through recognizing their patterns
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
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)
Testing input validation in Web applications through automated model recovery
Journal of Systems and Software
A search-based framework for automatic testing of MATLAB/Simulink models
Journal of Systems and Software
DSD-Crasher: A hybrid analysis tool for bug finding
ACM Transactions on Software Engineering and Methodology (TOSEM)
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
Computers and Operations Research
A tabu search algorithm for structural software testing
Computers and Operations Research
GA-based multiple paths test data generator
Computers and Operations Research
Automatic test data generation using particle systems
Proceedings of the 2008 ACM symposium on Applied computing
Heuristics-based infeasible path detection for dynamic test data generation
Information and Software Technology
Search based software testing of object-oriented containers
Information Sciences: an International Journal
Handling dynamic data structures in search based testing
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Towards Automation of Testing High-Level Security Properties
Proceeedings of the 22nd annual IFIP WG 11.3 working conference on Data and Applications Security
Automation of broad sanity test generation
Programming and Computing Software
Automated test data generation using a scatter search approach
Information and Software Technology
Automated test data generation for aspect-oriented programs
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Empirical evaluation of a nesting testability transformation for evolutionary testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Search-based multi-paths test data generation for structure-oriented testing
Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation
Generating example data for dataflow programs
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
Search-based failure discovery using testability transformations to generate pseudo-oracles
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Using automated search to generate test data for matlab
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
TestFul: using a hybrid evolutionary algorithm for testing stateful systems
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Optimisation of software testing using Genetic Algorithm
International Journal of Artificial Intelligence and Soft Computing
Dependence clusters in source code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Integration of verification methods for program systems
Programming and Computing Software
Modelling dynamic memory management in constraint-based testing
Journal of Systems and Software
Evolutionary software engineering, a review
Applied Soft Computing
Slicing-based test case generation from UML activity diagrams
ACM SIGSOFT Software Engineering Notes
Comparing algorithms for search-based test data generation of matlab® simulink® models
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
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
Generating test data for distributed software using the chaining approach
Information and Software Technology
Using program data-state scarcity to guide automatic test data generation
Software Quality Control
ASID'09 Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication
Towards software test data generation using discrete quantum particle swarm optimization
Proceedings of the 3rd India software engineering conference
Iterative execution-feedback model-directed GUI testing
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
Experiments with test case generation and runtime analysis
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Evolutionary testing of flag conditions
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Predicate expression cost functions to guide evolutionary search for test data
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Quality improvement and optimization of test cases: a hybrid genetic algorithm based approach
ACM SIGSOFT Software Engineering Notes
Experience and challenges with UML-driven performance engineering of a Distributed Real-Time System
Information and Software Technology
Proceedings of the 2010 ACM Symposium on Applied Computing
Experimental study on GA-based path-oriented test data generation using branch distance
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
Coverage criteria for state based specifications
Formal methods and testing
Testability transformation: program transformation to improve testability
Formal methods and testing
Towards automating the generation of mutation tests
Proceedings of the 5th Workshop on Automation of Software Test
TestFul: automatic unit-test generation for Java classes
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion
Electronic Notes in Theoretical Computer Science (ENTCS)
Reducing qualitative human oracle costs associated with automatically generated test data
Proceedings of the First International Workshop on Software Test Output Validation
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
Self-testability in unit testing
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
FloPSy: search-based floating point constraint solving for symbolic execution
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
A study of the bi-objective next release problem
Empirical Software Engineering
Application of genetic algorithm and tabu search in software testing
COMPUTE '11 Proceedings of the Fourth Annual ACM Bangalore Conference
Directed test suite augmentation
Proceedings of the 33rd International Conference on Software Engineering
CORAL: solving complex constraints for symbolic pathfinder
NFM'11 Proceedings of the Third international conference on NASA Formal methods
FlagRemover: A testability transformation for transforming loop-assigned flags
ACM Transactions on Software Engineering and Methodology (TOSEM)
Transition coverage testing for simulink/stateflow models using messy genetic algorithms
Proceedings of the 13th annual conference on Genetic and evolutionary computation
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
Information and Software Technology
Evolutionary generation of test data for many paths coverage based on grouping
Journal of Systems and Software
Test case automatic generation research based on AADL behavior annex
AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part I
A heuristic test data generation approach for program fault localization
AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part I
Fault-based test suite prioritization for specification-based testing
Information and Software Technology
Software testing with evolutionary strategies
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
EFSM-based testing strategy for APIs test of embedded OS
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
PathCrawler: automatic generation of path tests by combining static and dynamic analysis
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Generating test data for both paths coverage and faults detection using genetic algorithms
ICIC'11 Proceedings of the 7th international conference on Advanced Intelligent Computing Theories and Applications: with aspects of artificial intelligence
Search based software engineering: techniques, taxonomy, tutorial
Empirical Software Engineering and Verification
Automated web application testing using search based software engineering
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Automated verification and testing of user-interactive undo features in database applications
Software Testing, Verification & Reliability
Test data regeneration: generating new test data from existing test data
Software Testing, Verification & Reliability
Evolutionary algorithm for prioritized pairwise test data generation
Proceedings of the 14th annual conference on Genetic and evolutionary computation
ACM SIGSOFT Software Engineering Notes
AUSTIN: An open source tool for search based software testing of C programs
Information and Software Technology
Evolutionary algorithms for the multi-objective test data generation problem
Software—Practice & Experience
An improved test generation approach from extended finite state machines using genetic algorithms
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Test suite generation with memetic algorithms
Proceedings of the 15th annual conference on Genetic and evolutionary computation
Proceedings of the 15th annual conference on Genetic and evolutionary computation
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
Diversity oriented test data generation using metaheuristic search techniques
Information Sciences: an International Journal
Dynamic stopping criteria for search-based test data generation for path testing
Information and Software Technology
Generating test data for both path coverage and fault detection using genetic algorithms
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
An alternative approach to test-data generation based on actual execution of the program under test, function-minimization methods and dynamic data-flow analysis is presented. Test data are developed for the program using actual values of input variables. When the program is executed, the program execution flow is monitored. If during program execution an undesirable execution flow is observed then function-minimization search algorithms are used to automatically locate the values of input variables for which the selected path is traversed. In addition, dynamic data-flow analysis is used to determine those input variables responsible for the undesirable program behavior, significantly increasing the speed of the search process. The approach to generating test data is then extended to programs with dynamic data structures and a search method based on dynamic data-flow analysis and backtracking is presented. In the approach described, values of array indexes and pointers are known at each step of program execution; this information is used to overcome difficulties of array and pointer handling.