Search Based Software Engineering

Name: Search Based Software Engineering | Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings

Myra B. Cohen Mel O Cinneide(Herausgeber*in)

Springer (Verlag)

Erschienen am 27. August 2011

XV, 279 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-23716-4 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

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

Systemvoraussetzungen

Als PDF speichern Als Link merken