Search-Based Software Engineering

Name: Search-Based Software Engineering | 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

Márcio Barros Yvan Labiche(Herausgeber*in)

Springer (Verlag)

Erschienen am 27. Juli 2015

XVI, 355 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-319-22183-0 (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
Message from the SSBSE 2015 General Chair
Message from the SSBSE 2015 Program Chairs
Organization
Contents
Invited Talks
Co-Evolutionary Algorithms: A Useful Computational Abstraction?
1 Introduction
2 What IS Co-Evolution?
3 A CoEA Framework
4 Understanding Co-Evolutionary Algorithms
4.1 CoEAs as Dynamical Systems
4.2 CoEAs and Dynamic Fitness Landscapes
4.3 CoEA Time Clocks
4.4 Coupling CoEA Fitness Landscapes
4.5 CoEA Problem Solutions
5 Conclusions
References
Genetic Improvement of Software for Multiple Objectives
1 Introduction
2 Evolving Useful Programs from Primordial Ooze
2.1 Hashes, Caches and Garbage Collection
2.2 Mashups, Hyper-Heuristics and Multiplicity Computing
2.3 Genetic Programming and Non-Function Requirements
3 Improvement of Substantial Human Written Code
3.1 Automatic Bug Fixing
3.2 Auto Porting Functionality
3.3 Bowtie2GP Improving 50000 lines of C++
3.4 BarraCUDA
3.5 Genetically Improved GPU Based Stereo Vision
3.6 Genetically Improved GPU Based 3D Brain Imaging
4 Plastic Surgery: Better MiniSAT from multiple Authors
5 Creating and Incorporating New Functionality
5.1 Babel Pidgin: Adding Double Language Translation Feature
5.2 Grow and Serve GP Citations
5.3 104 Speedup on Folding RNA Molecules
6 GISMO Key Findings
7 GISMO Impact
References
Research Papers
Amortised Optimisation of Non-functional Properties in Production Environments
1 Introduction
2 Amortised Optimisation
2.1 State-Based Steps: A Hill Climbing Example
3 Case Study: Optimising the JIT Parameters for Pypy
3.1 JIT Parameter Optimisation
3.2 Experimental Setup
3.3 Results
4 Case Study: Optimising Algorithms to Hardware
4.1 Blocked Matrix Multiplication (BMM)
4.2 Experimental Setup
4.3 Results
5 Related Work
6 Conclusion
References
Search-Based Refactoring: Metrics Are Not Enough
1 Motivation
2 Hypothesis
3 Survey Design
3.1 Selection of Software Designs
3.2 Selection of Design Qualities
3.3 Selection of Metrics
3.4 Correlation Analysis
3.5 Target Population
4 Questionnaire Design
5 The Survey Process
6 Results
6.1 Quantitative Results
6.2 Qualitative Results
7 Related Work
8 Threats to Validity
9 Conclusions
9.1 Refactoring Metrics Are Not Correlated with Human Judgement
9.2 Wider Lessons Regarding Refactoring
References
Weaving Parallel Threads
1 Introduction
2 Implicit Parallelism in Functional Languages
2.1 Background
2.2 Strictness, Demand Context, and Strategies
2.3 The Granularity Problem
3 Overview
4 Experimental Setup and Results
4.1 Research Questions
4.2 Algorithms
4.3 Software-Under-Test
4.4 Method
4.5 Results
4.6 Discussion
5 Related Work
6 Conclusions
References
An Improved Beam-Search for the Test Case Generation for Formal Verification Systems
1 Introduction
2 Target of Optimization: Program Verification Systems
3 Problem Formulation
3.1 Axiomatization Coverage
3.2 Maximizing Axiomatization Coverage
4 Metaheuristic Approach
4.1 The KeY System
4.2 Algorithms
5 Experimental Investigations
5.1 Experimental Setup
5.2 Code Coverage Results
5.3 Axiomatization Coverage Results
6 Conclusions and Future Work
References
Combining Multiple Coverage Criteria in Search-Based Unit Test Generation
1 Introduction
2 Whole Test Suite Generation for Multiple Criteria
2.1 Whole Test Suite Generation
2.2 Fitness Functions
2.3 Combining Fitness Functions
3 Experimental Evaluation
3.1 Experimental Setup
3.2 Results and Discussion
4 Related Work
5 Conclusions
References
Epistatic Genetic Algorithm for Test Case Prioritization
1 Introduction
2 Background
2.1 Search Based Test Case Prioritization
2.2 The Epistasis in Genetic Algorithms
3 TCP with Epistasis
3.1 Epistatic Test Case Segment
3.2 One-point Crossover with Epistasis
3.3 Two-point Crossover with Epistasis
3.4 Discussion
4 Empirical Study
4.1 Experiment Setup
4.2 Experimental Design
4.3 Experimental Results
5 Threats to Validity
6 Related Work
7 Conclusions and Future Works
References
Haiku - a Scala Combinator Toolkit for Semi-automated Composition of Metaheuristics
1 Introduction
2 Related Work
3 Combinators
4 The Design of Haiku
5 Haiku - Implementation
6 Case Study: TSP
6.1 Semi-automated Composition of Metaheuristics
7 Experiments
8 Conclusion
References
Parameter Control in Search-Based Generation of Unit Test Suites
1 Introduction
2 Background
2.1 Search-Based Unit Test Generation
2.2 Parameter Tuning and Control
3 Parameter Control in Unit Test Generation
3.1 Mutation Strength in Mutating Unit Test Suites
3.2 Deterministic Parameter Control
3.3 Adaptive Parameter Control
3.4 Self-Adaptive Parameter Control
4 Empirical Evaluation
4.1 Experiment Set-Up
4.2 Results
4.3 Deterministic Parameter Control
4.4 Adaptive Parameter Control
4.5 Self-Adaptive Parameter Control
5 Conclusions
References
Hypervolume-Based Search for Test Case Prioritization
1 Introduction
2 Background and Related Work
3 Hypervolume Indicator for TCP
4 Empirical Evaluation
5 Empirical Results
6 Threats to Validity
7 Conclusion and Future Work
References
Optimizing Aspect-Oriented Product Line Architectures with Search-Based Algorithms
1 Introduction
2 Search-Based Design of PLAs
3 Representation of AOPLAs
4 Search Operators for AOPLAs
4.1 Aspect Rules
4.2 Join Point Rule
5 Empirical Study Description
5.1 Threats to Validity
6 Results and Analysis
6.1 Quantitative Results
6.2 Qualitative Results
7 Concluding Remarks
References
Adaptive Neighbourhood Search for the Component Deployment Problem
1 Introduction
2 Component Deployment Optimisation
2.1 Objective Function
2.2 Constraints
2.3 Related Work
3 Varying the Neighbourhood Operator for the Component Deployment Problem
3.1 Neighbourhood Strategies
3.2 Adaptive Neighbourhood Search for the Component Deployment Problem
4 Experiments
4.1 Experimental Design
4.2 Results
5 Conclusion
References
Transformed Search Based Software Engineering: A New Paradigm of SBSE
Abstract
1 Introduction
2 Transformed Search Based Software Engineering
3 Related Work
3.1 The Next Release Problem
3.2 Search Space Reduction for the NRP
4 Search Space Smoothing for the NRP
4.1 The Motivation
4.2 Search Space Smoothing Based Memetic Algorithm
5 Experiments
5.1 Numerical Results
5.2 Anytime Performance Comparison
6 Threats to Validity
7 Conclusion and Future Work
Acknowledgement
References
SBSE Challenge Papers
Regression Test Case Prioritisation for Guava
1 Introduction
2 Our Approach to Test Case Prioritisation
3 Experiments and Results
4 Conclusions and Actionable Findings
References
Continuous Test Generation on Guava
1 Introduction
2 Continuous Test Generation (CTG)
3 Guava's Challenges
4 Conclusions
References
Generating Readable Unit Tests for Guava
1 Introduction
2 Measuring Unit Test Readability
3 Generating Readability Optimized Tests
4 Generating Readable Tests for Guava
4.1 User Agreement
4.2 Test Suite Generation
5 Conclusions
References
Testing Django Configurations Using Combinatorial Interaction Testing
1 Introduction
2 Background
3 Setup
4 Results
5 Conclusions
References
Synthesis of Equivalent Method Calls in Guava
1 Introduction
2 Synthesis of Equivalent Sequences of Method Calls
3 Extending SBES to Deal with Google Guava
4 Experimental Evaluation
5 Conclusion
References
Object-Oriented Genetic Improvement for Improved Energy Consumption in Google Guava
1 Introduction
2 Implementation
3 Experiments
4 Results
5 Conclusion
References
Automated Transplantation of Call Graph and Layout Features into Kate
1 Introduction
2 The SCALPEL Transplantation Framework
3 Applying Autotransplantation to Kate
4 Experiments and Results
5 Conclusions
References
Grow and Serve: Growing Django Citation Services Using SBSE
1 Introduction
2 Approach Used to Grow and Serve a Citation Service
3 Deployment, Conclusions and Future Work
References
Specialising Guava's Cache to Reduce Energy Consumption
1 Introduction
2 Related Work
3 Implementation
4 Experiments
5 Results
6 Conclusion
References
Multi-objective Module Clustering for Kate
1 Introduction
2 Modularizing Kate Using SBSE
3 Conclusion and Future Works
References
SBSelector: Search Based Component Selection for Budget Hardware
1 Introduction
2 Component Selection as an Instance of MONRP
3 Experiments and Results
4 Conclusions
References
Search-Based Bug Report Prioritization for Kate Editor Bugs Repository
1 Introduction
2 Problem Formulation
3 Prioritizing Bugs for Kate Editor Bugs Repository
3.1 Results and Analysis
4 Conclusions
References
Inferring Test Models from Kate's Bug Reports Using Multi-objective Search
1 Introduction and Background
2 Models Inference Framework
3 Experiments and Results
4 Conclusion
References
Short Papers
Introducing Learning Mechanism for Class Responsibility Assignment Problem
Abstract
1 Introduction
2 Approach
2.1 Learning-Based Genetic Algorithm (LGA)
2.2 Solving CRA with LGA
2.2.1 Construct Dataset from PG
2.2.2 Generate Frequent Itemsets and the Rule Set
2.2.3 Learn Adaptively for Individuals in IG
3 Experiment
4 Related Work
5 Conclusions
References
Transformed Vargha-Delaney Effect Size
1 Introduction
2 Misapplication of Vargha-Delaney Effect Size
3 Transforming Data and the Comparison Function
4 Conclusion
References
Optimizing Software Product Line Architectures with OPLA-Tool
1 Introduction
2 OPLA-Tool
3 Empirical Study
4 Conclusion and Future Work
References
Exploring the Landscape of Non-Functional Program Properties Using Spatial Analysis
1 Introduction
2 Spatial Analysis
3 Characterising the Landscape
4 Worked Example
5 Conclusion
References
Graduate Student Papers
Interactive Software Release Planning with Preferences Base
1 Introduction
2 Proposed Approach
2.1 Release Planning Model
2.2 Model of User Preferences for Release Planning
2.3 The Interactive Formulation for Software Release Planning
3 Preliminary Empirical Study
3.1 Results and Analysis
4 Conclusions
References
Software Defect Classification with a Variant of NSGA-II and Simple Voting Strategies
1 Introduction
2 Empirical Study
3 Results
4 Conclusion and Future Work
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken