Simulated annealing: theory and applications
Simulated annealing: theory and applications
The chaining approach for software test data generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated program flaw finding using simulated annealing
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Automated test-data generation for exception conditions
Software—Practice & Experience
A Validation of the Component-Based Method for Software Size Estimation
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
SEMINAL: software engineering using metaheuristic INnovative ALgorithms
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
The SEMINAL workshop: reformulating software engineering as a metaheuristic search problem
ACM SIGSOFT Software Engineering Notes
Innovative antenna design using genetic algorithms
Creative evolutionary systems
Genetic Algorithms in Search, Optimization and Machine Learning
Genetic Algorithms in Search, Optimization and Machine Learning
Genetic Algorithms in Engineering and Computer Science
Genetic Algorithms in Engineering and Computer Science
Testing real-time systems using genetic algorithms
Software Quality Control
Evolutionary Testing In Component-based Real-time System Construction
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
Code Factoring And The Evolution Of Evolvability
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
Fitness Function Design To Improve Evolutionary Structural Testing
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
Instrumenting Programs With Flag Variables For Test Data Search By Genetic Algorithms
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
Visualization Of The Fitness Landscape, A Steady-state Genetic Search, And Schema Traces
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
GPTesT: A Testing Tool Based On Genetic Programming
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
Improving Evolutionary Testing By Flag Removal
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
Using Heuristic Search Techniques To Extract Design Abstractions From Source Code
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
Search Heuristics, Case-based Reasoning And Software Project Effort Prediction
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
VADA: A Transformation-Based System for Variable Dependence Analysis
SCAM '02 Proceedings of the Second IEEE International Workshop on Source Code Analysis and Manipulation
A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints
RTAS '98 Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium
Automatic Clustering of Software Systems Using a Genetic Algorithm
STEP '99 Proceedings of the Software Technology and Engineering Practice
Using Automatic Clustering to Produce High-Level System Organizations of Source Code
IWPC '98 Proceedings of the 6th International Workshop on Program Comprehension
A Multiple Hill Climbing Approach to Software Module Clustering
ICSM '03 Proceedings of the International Conference on Software Maintenance
IEEE Transactions on Software Engineering
Getting Results from Search-Based Approaches to Software Engineering
Proceedings of the 26th International Conference on 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
Digital filter design using multiple pareto fronts
Soft Computing - A Fusion of Foundations, Methodologies and Applications
Metrics Are Fitness Functions Too
METRICS '04 Proceedings of the Software Metrics, 10th International Symposium
METRICS '04 Proceedings of the Software Metrics, 10th International Symposium
Evolving Transformation Sequences using Genetic Algorithms
SCAM '04 Proceedings of the Source Code Analysis and Manipulation, Fourth IEEE International Workshop
An empirical study of the robustness of two module clustering fitness functions
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Search-Based Amorphous Slicing
WCRE '05 Proceedings of the 12th Working Conference on Reverse Engineering
Editorial: Search-based software engineering
Computers and Operations Research
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
New usage of Sammon's mapping for genetic visualization
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartI
GAVEL - a new tool for genetic algorithm visualization
IEEE Transactions on Evolutionary Computation
Assessing the Kodkod model finder for resolving model inconsistencies
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Controversy Corner: Search Based Software Engineering: Review and analysis of the field in Brazil
Journal of Systems and Software
Hi-index | 0.00 |
This paper was written to accompany the author’s keynote talk for the Workshop on Computational Science in Software Engineering held in conjunction with International Conference in Computational Science 2006 in Reading, UK. The paper explains how software engineering activities can be viewed as a search for solutions that balance many competing constraints to achieve an optimal or near optimal result. The aim of Search Based Software Engineering (SBSE) research is to move software engineering problems from human-based search to machine-based search, using a variety of techniques from the metaheuristic search, operations research and evolutionary computation paradigms. As a result, human effort moves up the abstraction chain to focus on guiding the automated search, rather than performing it. The paper briefly describes the search based approach, providing pointers to the literature.