Search Based Software Engineering
Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings
Published on 27. August 2011
XV, 279 pages
978-3-642-23716-4 (ISBN)
Description
This book constitutes the refereed proceedings of the Third International Symposium on Search Based Software Engineering, SSBSE 2011 held in Szeged, Hungary in collocation with ESEC/FSE 2011.
The 18 revised full papers presented together with two invited contributions and abstracts of eight poster presentations were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on foundations of SSBSE; concurrency and models; requirements and planning; software testing; and comprehension, transformation and scalability.
More details
Other editions
Additional editions
Myra B. Cohen | Mel O Cinneide
Search Based Software Engineering
Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings
Book
08/2011
1st Edition
Springer
€53.49
Shipment within 5-7 days
Content
- Intro
- Title
- Organization
- Table of Contents
- Keynotes
- Search-Based Program Analysis
- The Two Faces of Program Analysis
- Making Program Analysis More Precise
- A Virtuous Cycle
- More on the Topic
- References
- Exploiting Decomposability Using Recombination in Genetic Algorithms: An Exploratory Discussion
- Introduction
- Generalized Partition Crossover for the TSP
- GPX Experimental Results
- Graph Coloring and Tunneling
- Questions for Search Based Software Engineering
- Conclusions
- References
- Tutorials
- SBSE: Introduction and Motivation
- Conducting and Analyzing Empirical Studies in Search-Based Software Engineering
- Foundations of SBSE
- Ten Years of Search Based Software Engineering: A Bibliometric Analysis
- Introduction
- Methodology
- Segments
- Data Source
- SBSE Bibliometric Analysis
- Publications
- Source
- Authorship
- Collaboration
- Further Analysis
- SBSE Pre-2001
- Estimates
- Conclusions
- References
- On Parameter Tuning in Search Based Software Engineering
- Introduction
- Related Work
- Search Algorithm Setting
- Experiments
- Guidelines
- Threats to Validity
- Conclusion
- References
- Elementary Landscape Decomposition of the Test Suite Minimization Problem
- Introduction
- Background
- Test Suite Minimization Problem
- Elementary Landscape Decomposition
- Decomposition of f
- Decomposition of f$^2$
- Application of the Decomposition
- Experimental Study
- Conclusion
- References
- Graduate Student Track
- A Fuzzy Approach to Requirements Prioritization
- Introduction
- Formal Framework
- Definitions
- Evaluation Function
- Evaluation
- Evaluation Instance
- Prioritization Results
- Conclusion and Future Works
- References
- Multi-level Automated Refactoring Using Design Exploration
- Introduction and Problem Description
- Proposed Solution
- Key Research Questions
- Plan for Evaluation
- Progress to Date
- Related Work
- Conclusion
- References
- Complexity Metrics for Hierarchical State Machines
- Introduction
- Background
- Hierarchical State Machines
- Metrics for HFSMs
- Top-Level Cyclomatic Complexity
- Hierarchical Complexity
- Conclusions and Future Work
- References
- Concurrency and Models
- Comparing Metaheuristic Algorithms for Error Detection in Java Programs
- Introduction
- Heuristic Model Checking
- Verification in Java PathFinder
- Problem Formalization
- Algorithms
- Simulated Annealing
- Parameter Settings
- Experimental Section
- Hit Rate
- Length of the Error Trails
- Conclusion and Future Work
- References
- Applications of Model Reuse When Using Estimation of Distribution Algorithms to Test Concurrent Software
- Introduction
- EDA-Based Model Checking
- EDAs
- Searching State-Spaces with EDAs
- Brief Overview of EDA-Based Model Checking
- Model Reuse
- Reuse during Debugging
- Reuse during Refinement
- Reuse When Tackling Problem Families
- Experimentation with Problem Families
- Sample Models
- Heuristics
- Parameters
- Smaller Instances
- Larger Instances
- Conclusion
- References
- Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels
- Introduction
- Background
- Grammatical Evolution
- Model-Driven Engineering
- The Fighter Description Language
- Genotype to Phenotype Transformation
- Creating the Genotype Model
- Transliterating the Phenotype
- Evaluation and Results
- Empirical Method
- Results and Analysis
- Conclusions and Future Work
- References
- Requirements and Planning
- Cooperative Co-evolutionary Optimization of Software Project Staff Assignments and Job Scheduling
- Introduction
- Problem Statement and Definitions
- Ordering/Sequence of Work Packages
- Staff Assignments to Teams
- Scheduling Simulation
- Optimization Method: Cooperative Co-evolutionary Algorithm
- Solution Representations and Genetic Operators
- Initial Populations
- Termination Condition
- Empirical Study
- Empirical Study Results
- Analysis of the Cooperative Co-evolutionary Progress
- Results on Effectiveness
- Results on Efficiency
- Threats to Validity
- Related Work
- Conclusions and Future Work
- References
- An Ant Colony Optimization Approach to the Software Release Planning with Dependent Requirements
- Introduction
- Previous Works
- The Software Release Planning Problem Definition
- An ACO Algorithm for Software Release Planning
- Problem Encoding
- The ACO Algorithm
- Experimental Evaluation
- The Data
- The Algorithms, Their Configurations and Comparison Metrics
- Experimental Results and Analyses
- Conclusion and Future Works
- References
- Optimizing the Trade-Off between Complexity and Conformance in Process Reduction
- Introduction
- Business Process Reduction
- Process Complexity and Non-conformance
- Process Complexity
- Process Conformance
- Multi-objective Optimization
- Case Study
- Quantitative Results
- Qualitative Results
- Threats to Validity
- Related Works
- Conclusion
- References
- Software Testing
- A Metaheuristic Approach to Test Sequence Generation for Applications with a GUI
- Introduction
- Related Work
- Our Approach
- Adequacy Criterion
- Test Environment
- The Algorithm
- Experiment
- Conclusion
- References
- Integration Test of Classes and Aspects with a Multi-Evolutionary and Coupling-Based Approach
- Introduction
- The Class and Aspect Integration Test Order Problem
- The MECBA Approach
- Construction of the Dependency Model
- Definition of the Cost Model
- Multi-Objective Evolutionary Algorithm
- Order Selection
- MECBA Empirical Evaluation
- Empirical Study Description
- Results and Analysis
- Selecting Orders
- Conclusions
- References
- Divide-by-Zero Exception Raising via Branch Coverage
- Introduction
- The Approach
- Example and Fitness Function
- Search Techniques to Generate Test Input Data
- Empirical Study
- Choice of the Comparison Measure
- Choice of the Targeted Exceptions
- General Parameters of the Techniques
- Specific Parameters of the Techniques
- Study Results
- Study Discussions
- Discussions
- Threats to the Validity
- Related Work
- Conclusion
- References
- Comprehension, Transformation and Scalability
- Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards
- Introduction
- Background
- Parallel Formulation of MOEA Test Suite Minimisation
- Algorithms
- Experimental Setup
- Research Questions
- Subjects
- Implementation and Hardware
- Evaluation
- Results
- Related Work
- Conclusion
- References
- Bytecode Testability Transformation
- Introduction
- Background
- Search-Based Testing
- Bytecode and Bytecode Instrumentation
- Testability Transformation
- Bytecode Testability Transformation
- Boolean Flags In Bytecode
- Testability Transformation
- Instrumenting Non-integer Comparisons
- Instrumenting Interfaces
- Instrumenting Implicit Else Branches
- Evaluation
- Flag Problem Examples
- Open Source Libraries
- Threats to Validity
- Conclusions
- References
- A Fast Algorithm to Locate Concepts in Execution Traces
- Introduction
- The Trace Segmentation Problem
- Steps 1 and 2 - System Instrumentation and Trace Collection
- Step 3 - Pruning and Compressing Traces
- Step 4 - Textual Analysis of Method Source Code
- Step 5 - Trace Splitting Through Optimization Techniques
- Segmenting Traces Using a Genetic Algorithm and Dynamic Programming
- Trace Segmentation Using a Genetic Algorithm
- Trace Segmentation Using Dynamic Programming
- Empirical Study
- Study Settings and Analysis Method
- Results
- Threats to Validity
- Related Work
- Conclusions and Future Work
- References
- Posters
- Evaluating Modularization Quality as an Extra Objective in Multiobjective Software Module Clustering
- Survey of Empirical Investigations on SSBSE Papers
- Subgroup Discovery for Defect Prediction
- References
- Search-Based Parallel Refactoring Using Population-Based Direct Approaches
- Search-Based Functional Test Data Generation Using Data Metamodel
- References
- How Multi-Objective Genetic Programming Is Effective for Software Development Effort Estimation?
- References
- On the Applicability of Exact Optimization in Search Based Software Engineering
- Automatic Evolution of Java-Written Game Heuristics
- References
- Author Index
