Search-Based Software Engineering : 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings / / edited by Márcio Barros, Yvan Labiche

• Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
• Edizione: 1st ed. 2015.
• Descrizione fisica: 1 online resource (XVI, 355 p. 94 illus.)
• Disciplina: 005.1
• Soggetto topico: Software engineering; Algorithms; Computer programming; Computers; Programming languages (Electronic computers); Pattern recognition; Software Engineering; Algorithm Analysis and Problem Complexity; Programming Techniques; Computation by Abstract Devices; Programming Languages, Compilers, Interpreters; Pattern Recognition
• Persona (resp. second.): BarrosMárcio; LabicheYvan
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Sommario/riassunto: This book constitutes the refereed proceedings of the 7th International Symposium on Search-Based Software Engineering, SSBSE 2015, held in Bergamo, Italy, in September 2015. The 12 revised full papers presented together with 2 invited talks, 4 short papers, 2 papers of the graduate track, and 13 challenge track papers were carefully reviewed and selected from 51 submissions. Search Based Software Engineering (SBSE) studies the application of meta-heuristic optimization techniques to various software engineering problems, ranging from requirements engineering to software testing and maintenance.
• Titolo autorizzato: Search-Based Software Engineering
• ISBN: 3-319-22183-3
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910484866503321
• Lo trovi qui: Univ. Federico II
• Serie: Programming and Software Engineering ; ; 9275