Evolutionary testing of state-based programs
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Improving network applications security: a new heuristic to generate stress testing data
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
Search-based mutation testing for Simulink models
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
An Ant Colony Optimization Approach to Test Sequence Generation for Statebased Software Testin
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Evolutionary Testing Using an Extended Chaining Approach
Evolutionary Computation
Testing software modelling tools using data mutation
Proceedings of the 2006 international workshop on Automation of software test
Evolutionary unit testing of object-oriented software using strongly-typed genetic programming
Proceedings of the 8th annual conference on Genetic and evolutionary computation
The state problem for test generation in Simulink
Proceedings of the 8th annual conference on Genetic and evolutionary computation
A specification-based fitness function for evolutionary testing of object-oriented programs
Proceedings of the 8th annual conference on Genetic and evolutionary computation
Pairwise sequence comparison for fitness evaluation in evolutionary structural software testing
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
Avoiding coincidental correctness in boundary value analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Simulated annealing applied to test generation: landscape characterization and stopping criteria
Empirical Software Engineering
Empirical Software Engineering
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Source Code Analysis: A Road Map
FOSE '07 2007 Future of Software Engineering
The Current State and Future of Search Based Software Engineering
FOSE '07 2007 Future of Software Engineering
Automated Test Data Generation using Search Based Software Engineering
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Proceedings of the 2007 international symposium on Software testing and analysis
Automatic mutation test input data generation via ant colony
Proceedings of the 9th annual conference on Genetic and evolutionary computation
Search-based testing of service level agreements
Proceedings of the 9th annual conference on Genetic and evolutionary computation
A multi-objective approach to search-based test data generation
Proceedings of the 9th annual conference on Genetic and evolutionary computation
Generalized extremal optimization: an attractive alternative for test data generation
Proceedings of the 9th annual conference on Genetic and evolutionary computation
Investigating data-flow coverage of classes using evolutionary algorithms
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
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)
Coevolving programs and unit tests from their specification
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
A search-based framework for automatic testing of MATLAB/Simulink models
Journal of Systems and Software
Detecting buffer overflow via automatic test input data generation
Computers and Operations Research
Evolutionary functional testing
Computers and Operations Research
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
Computers and Operations Research
Editorial: Search-based software engineering
Computers and Operations Research
Staffing a software project: A constraint satisfaction and optimization-based approach
Computers and Operations Research
GA-based multiple paths test data generator
Computers and Operations Research
Proceedings of the 3rd international workshop on Automation of software test
On the automation of fixing software bugs
Companion of the 30th international conference on Software engineering
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
Fitness calculation approach for the switch-case construct in evolutionary testing
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Testing data processing-oriented systems from stream X-machine models
Theoretical Computer Science
Special Issue on Search-Based Software Maintenance
Journal of Software Maintenance and Evolution: Research and Practice - Search Based Software Engineering [SBSE]
Challenges in Relational Learning for Real-Time Systems Applications
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Automated test data generation using a scatter search approach
Information and Software Technology
Multi-objective Improvement of Software Using Co-evolution and Smart Seeding
SEAL '08 Proceedings of the 7th International Conference on Simulated Evolution and Learning
Service-Oriented Architectures Testing: A Survey
Software Engineering
Automated test data generation for aspect-oriented programs
Proceedings of the 8th ACM international conference on Aspect-oriented software development
A systematic review of search-based testing for non-functional system properties
Information and Software Technology
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
A hybrid heuristic approach to optimize rule-based software quality estimation models
Information and Software Technology
Insight knowledge in search based software testing
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
MC/DC automatic test input data generation
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Dealing with inheritance in OO evolutionary testing
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
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
Information and Software Technology
An evaluation of differential evolution in software test data generation
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Comparing algorithms for search-based test data generation of matlab® simulink® models
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Using program data-state scarcity to guide automatic test data generation
Software Quality Control
Improving testing of multi-unit computer players for unwanted behavior using coordination macros
CIG'09 Proceedings of the 5th international conference on Computational Intelligence and Games
Towards software test data generation using discrete quantum particle swarm optimization
Proceedings of the 3rd India software engineering conference
Automated patching techniques: the fix is in: technical perspective
Communications of the ACM
Iterative execution-feedback model-directed GUI testing
Information and Software Technology
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
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
Testability transformation: program transformation to improve testability
Formal methods and testing
TestFul: automatic unit-test generation for Java classes
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Theoretical analysis of local search in software testing
SAGA'09 Proceedings of the 5th international conference on Stochastic algorithms: foundations and applications
Search-based test data generation from stateflow statecharts
Proceedings of the 12th annual conference on Genetic and evolutionary computation
Factors affecting the use of genetic algorithms in test suite augmentation
Proceedings of the 12th annual conference on Genetic and evolutionary computation
Generating test cases for specification mining
Proceedings of the 19th international symposium on Software testing and analysis
Mutation-driven generation of unit tests and oracles
Proceedings of the 19th international symposium on Software testing and analysis
Formal analysis of the effectiveness and predictability of random testing
Proceedings of the 19th international symposium on Software testing and analysis
The new iris data: modular data generators
Proceedings of the 16th ACM SIGKDD international conference on Knowledge discovery and data mining
Using program specific search operators in test data generation
ECC'10 Proceedings of the 4th conference on European computing conference
A platform for search-based testing of concurrent software
Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Reducing qualitative human oracle costs associated with automatically generated test data
Proceedings of the First International Workshop on Software Test Output Validation
The relationship between search based software engineering and predictive modeling
Proceedings of the 6th International Conference on Predictive Models in Software Engineering
A baseline method for search-based software engineering
Proceedings of the 6th International Conference on Predictive Models in Software Engineering
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
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Black-box system testing of real-time embedded systems using random and search-based testing
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Test data generation for programs with quantified first-order logic specifications
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Information and Software Technology
Introduction to the special issue on search based software engineering
Empirical Software Engineering
Using search-based algorithms for Ajax event sequence generation during testing
Empirical Software Engineering
A study of the bi-objective next release problem
Empirical Software Engineering
Evaluating improvements to a meta-heuristic search for constrained interaction testing
Empirical Software Engineering
WCET analysis of modern processors using multi-criteria optimisation
Empirical Software Engineering
Structured testing using ant colony optimization
Proceedings of the First International Conference on Intelligent Interactive Technologies and Multimedia
Comparison of nearest point algorithms by genetic algorithms
Expert Systems with Applications: An International Journal
Example-based model-transformation testing
Automated Software Engineering
Evolutionary repair of faulty software
Applied Soft Computing
Proceedings of the 33rd International Conference on Software Engineering
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)
Generating parameterized unit tests
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Transition coverage testing for simulink/stateflow models using messy genetic algorithms
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Search-based software testing and test data generation for a dynamic programming language
Proceedings of the 13th annual conference on Genetic and evolutionary computation
A multi-objective evolutionary algorithm to obtain test cases with variable lengths
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Multiobjective simulation optimisation in software project management
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Evolving relationships between social networks and stakeholder involvement in software projects
Proceedings of the 13th annual conference on Genetic and evolutionary computation
An approach to automatic input sequence generation for GUI testing using ant colony optimization
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
A case study on the use of genetic algorithms to generate test cases for temporal systems
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
PSO based pseudo dynamic method for automated test case generation using interpreter
ICSI'11 Proceedings of the Second international conference on Advances in swarm intelligence - Volume Part I
DDAT: data dependency analysis tool for web service business processes
ICCSA'11 Proceedings of the 2011 international conference on Computational science and Its applications - Volume Part V
Automating unit and integration testing with partial oracles
Software Quality Control
Information and Software Technology
Ten years of search based software engineering: a bibliometric analysis
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
On parameter tuning in search based software engineering
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
A metaheuristic approach to test sequence generation for applications with a GUI
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
Divide-by-zero exception raising via branch coverage
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
Bytecode testability transformation
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
Search-based functional test data generation using data metamodel
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
Search based software engineering
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Why the virtual nature of software makes it ideal for search based optimization
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Fast black-box testing of system recovery code
Proceedings of the 7th ACM european conference on Computer Systems
Evolutionary testing techniques
SAGA'05 Proceedings of the Third international conference on StochasticAlgorithms: foundations and applications
Search based software engineering: techniques, taxonomy, tutorial
Empirical Software Engineering and Verification
Mitigating program security vulnerabilities: Approaches and challenges
ACM Computing Surveys (CSUR)
Combining search-based and constraint-based testing
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Automated web application testing using search based software engineering
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Test data regeneration: generating new test data from existing test data
Software Testing, Verification & Reliability
Mutation based test case generation via a path selection strategy
Information and Software Technology
Regression testing minimization, selection and prioritization: a survey
Software Testing, Verification & Reliability
Survey: A survey on search-based software design
Computer Science Review
Evolutionary algorithm for prioritized pairwise test data generation
Proceedings of the 14th annual conference on Genetic and evolutionary computation
Search-based system testing: high coverage, no false alarms
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Isolating failure causes through test case generation
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Sound empirical evidence in software testing
Proceedings of the 34th International Conference on Software Engineering
EXSYST: search-based GUI testing
Proceedings of the 34th International Conference on Software Engineering
Coverage metrics for saturation-based and search-based testing of concurrent software
RV'11 Proceedings of the Second international conference on Runtime verification
A taxonomy of model-based testing approaches
Software Testing, Verification & Reliability
ACM SIGSOFT Software Engineering Notes
Grouping target paths for evolutionary generation of test data in parallel
Journal of Systems and Software
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Augmented dynamic symbolic execution
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Evolutionary search-based test generation for software product line feature models
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Dynamic adaptive search based software engineering
Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement
Search-based software engineering: Trends, techniques and applications
ACM Computing Surveys (CSUR)
A testbench specification language for SystemC verification
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
AUSTIN: An open source tool for search based software testing of C programs
Information and Software Technology
Efficient coverage of parallel and hierarchical stateflow models for test case generation
Software Testing, Verification & Reliability
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
Learning-Based test programming for programmers
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Boosting search based testing by using constraint based testing
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
A search-based framework for failure reproduction
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Evolutionary testing of PHP web applications with WETT
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Software Coverage Analysis: Black Box Approach Using ANT System
International Journal of Applied Evolutionary Computation
International Journal of Applied Metaheuristic Computing
A Value-Based Framework for Software Evolutionary Testing
International Journal of Software Science and Computational Intelligence
Journal of Systems and Software
Controversy Corner: Search Based Software Engineering: Review and analysis of the field in Brazil
Journal of Systems and Software
Evolutionary functional black-box testing in an industrial setting
Software Quality Control
Testing of precision agricultural networks for adversary-induced problems
Proceedings of the 15th annual conference on Genetic and evolutionary computation
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
Heuristic search-based approach for automated test data generation: a survey
International Journal of Bio-Inspired Computation
Optimizing the software testing efficiency by using a genetic algorithm: a design methodology
ACM SIGSOFT Software Engineering Notes
Software engineering: an ideal set of challenges for evolutionary computation
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
Search methodologies in real-world software engineering
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
Does automated white-box test generation really help software testers?
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Orthogonal exploration of the search space in evolutionary test case generation
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Towards run-time testing of dynamic adaptive systems
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
State of the art: Dynamic symbolic execution for automated test generation
Future Generation Computer Systems
Continuous test suite augmentation in software product lines
Proceedings of the 17th International Software Product Line Conference
Cellular automata based test data generation
ACM SIGSOFT Software Engineering Notes
Search based software test data generation for structural testing: a perspective
ACM SIGSOFT Software Engineering Notes
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
Journal of Systems and Software
Graphical user interface (GUI) testing: Systematic mapping and repository
Information and Software Technology
A PSO-based model to increase the accuracy of software development effort estimation
Software Quality Control
Cloud engineering is Search Based Software Engineering too
Journal of Systems and Software
Information Sciences: an International Journal
Co-evolutionary automatic programming for software development
Information Sciences: an International Journal
Diversity oriented test data generation using metaheuristic search techniques
Information Sciences: an International Journal
Automated generation of computationally hard feature models using evolutionary algorithms
Expert Systems with Applications: 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.02 |
The use of metaheuristic search techniques for the automatic generation of test data has been a burgeoning interest for many researchers in recent years. Previous attempts to automate the test generation process have been limited, having been constrained by the size and complexity of software, and the basic fact that, in general, test data generation is an undecidable problem. Metaheuristic search techniques offer much promise in regard to these problems. Metaheuristic search techniques are high-level frameworks, which utilize heuristics to seek solutions for combinatorial problems at a reasonable computational cost. To date, metaheuristic search techniques have been applied to automate test data generation for structural and functional testing; the testing of grey-box properties, for example safety constraints; and also non-functional properties, such as worst-case execution time. This paper surveys some of the work undertaken in this field, discussing possible new future directions of research for each of its different individual areas. Copyright © 2004 John Wiley & Sons, Ltd.