|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910484795703321 |
|
|
Titolo |
Search-Based Software Engineering : 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings / / edited by Claire Le Goues, Shin Yoo |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2014.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXXII, 268 p. 75 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 8636 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
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 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Intro -- Preface -- Conference Organization -- Table of Contents -- Full Research Papers -- On the Effectiveness of Whole Test Suite Generation -- 1 Introduction -- 2 Background -- 3 Whole Test Suite Generation -- 3.1 Generating Tests for Individual Coverage Goals -- 3.2 Whole Test Suite Generation -- 4 Empirical Study -- 4.1 Experimental Setup -- 4.2 Results -- 5 Threats to Validity -- 6 Conclusions -- References -- Detecting Program Execution Phases Using Heuristic Search -- 1 Introduction -- 2 Phase Identification -- 2.1 Basic Definitions -- 2.2 Heuristics -- 2.3 Detection Algorithm -- 3 |
|
|
|
|
|
|
|
|
|
Evaluation -- 3.1 Settings -- 3.2 Results -- 4 Discussion -- 5 Related Work -- 6 Conclusion -- References -- On the Use of Machine Learning and Search-Based Software Engineering for Ill-Defined Fitness Function: A Case Study on Software Refactoring -- 1 Introduction -- 2 Related Work -- 3 Refactoring as an Interactive Search-Based Learning Problem -- 3.1 Approach Overview -- 3.2 Algorithm Adaptation -- 4 Validation -- 4.1 Research Questions -- 4.2 Experimental Settings -- 4.3 Results and Discussions -- 4.4 Threats to Validity -- 5 Conclusion -- References -- Producing Just Enough Documentation: The Next SAD Version Problem -- Introduction -- 1 Background -- 2 The Next SAD Version Problem (NSVP) -- 2.1 Determining Production Costs -- 2.2 Assessing Stakeholders' Utility -- 3 Exact and Heuristic Algorithms for NSVP -- 4 Case-Study -- 5 Related Work -- 6 Conclusions and Future Work -- References -- A Multi-model Optimization Framework for the Model Driven Design of Cloud Applications -- 1 Introduction -- 2 Background: Architecture Modeling and Analyses -- 3 Optimization Process -- 3.1 Search Problem Formulation -- 3.2 Analytic Optimization -- 3.3 Local Search Optimization -- 4 Experimental Results -- 4.1 Scalability Analysis. |
4.2 Initial Solution Quality Evaluation -- 5 Related Work -- 6 Conclusions -- References -- A Pattern-Driven Mutation Operator for Search-Based Product Line Architecture Design -- 1 Introduction -- 2 A Search-Based Approach for PLA Design -- 3 Representing Pattern Application Scopes -- 4 The Pattern-Driven Mutation Operator -- 4.1 Verification Methods -- 4.2 Application Methods -- 5 Empirical Study -- 5.1 Results and Analysis -- 6 Related Work -- 7 Concluding Remarks -- References -- Mutation-Based Generation of Software Product Line Test Configurations -- 1 Introduction -- 2 Background -- 2.1 Software Product Line Feature Models -- 2.2 Software Product Line Test Configurations -- 3 Mutation-Based Generation of Software Product Line Test Configurations -- 3.1 Creation of Mutants of the Feature Model -- 3.2 The Search-Based Process -- 4 Experiments -- 4.1 Approach Assessment (RQ1) -- 4.2 Results -- 4.3 Answering RQ1 -- 4.4 Comparison with Random (RQ2) -- 4.5 Threats to Validity -- 5 Related Work -- 6 Conclusion and Future Work -- References -- Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software -- 1 Introduction -- 2 Related Work -- 3 Background -- 4 Objectives and Fitness Function -- 5 Selection of a Multi-objective Optimization Algorithm -- 6 Experimental Evaluation -- 7 Threats to Validity -- 8 Conclusions and Future Work -- References -- Bi-objective Genetic Search for Release Planning in Support of Themes -- 1 Introduction -- 2 Related Work -- 3 Background -- 3.1 Pareto-Optimal Solutions -- 3.2 NSGA-II -- 3.3 Preference Building Based on Lexicographic Ordering -- 4 Bi-objective Theme-Based Release Planning -- 4.1 Decision Variables -- 4.2 Constraints -- 4.3 Objectives -- 4.4 Decision Support for Bi-objective Release Planning -- 5 Empirical Evaluation -- 5.1 Case Study Projects -- 5.2 Tuning of Parameters. |
5.3 Case Study Results -- 5.4 Discussion and Threats to Validity -- 6 Summary and Outlook to Future Research -- References -- Combining Stochastic Grammars and Genetic Programming for Coverage Testing at the System Level -- 1 Introduction -- 2 Background -- 2.1 Stochastic Grammars -- 2.2 Evolutionary Algorithms -- 3 Combined Approach -- 3.1 Representation of Individuals -- 3.2 Initialization -- 3.3 Fitness Evaluation -- 3.4 Genetic Operators -- 3.5 Implementation -- 4 Experimental Results -- 4.1 Metrics -- 4.2 Subjects -- 4.3 Procedure and Settings -- 4.4 Results -- 4.5 Threats to Validity -- 5 Related Works -- 6 Conclusions and Future Work -- References -- Feature |
|
|
|
|
|
|
|
Model Synthesis with Genetic Programming -- 1 Introduction -- 2 Feature Models and Running Example -- 3 Feature Model Synthesis -- 3.1 Genetic Programming Pipeline -- 3.2 Feature Model Representation -- 3.3 Evaluator Definition -- 3.4 Operators Definitions -- 4 Evaluation -- 4.1 Process -- 4.2 Statistical Analysis -- 4.3 Threats to Validity -- 5 Related Work -- 6 Conclusions and Future Work -- References -- A Robust Multi-objective Approach for Software Refactoring under Uncertainty -- 1 Introduction -- 2 Multi-objective Robust Software Refactoring -- 2.1 Robust Optimization -- 2.2 Multi-objective Robust Optimization for Software Refactoring -- 3 Design of the Empirical Study -- 3.1 Research Questions and Systems Studied -- 3.2 Evaluation Metrics Used -- 3.5 Results -- 4 Related Work -- 5 Conclusion and Future Work -- References -- Towards Automated A/B Testing -- 1 Introduction -- 2 Background and Problem Statement -- 3 A/B Testing as an Optimization Problem -- 4 Towards Automated A/B Testing -- 4.1 Specifying Features -- 4.2 Selecting and Evaluating Variants -- 5 Preliminary Validation -- 6 Related Work -- 7 Conclusions -- References. |
Random-Weighted Search-Based Multi-objective Optimization Revisited -- 1 Introduction -- 2 Background -- 3 Uniformly Distributed Weights -- 4 Case Studies -- 5 Empirical Evaluation -- 5.1 Experiment Design -- 5.2 Statistical Tests -- 5.3 Results and Analysis -- 5.4 Overall Discussion -- 6 Threats to Validity -- 7 Related Works -- 8 Conclusion and Future Work -- References -- Short Papers -- A New Learning Mechanism for Resolving Inconsistencies in Using Cooperative Co-evolution Model* -- 1 Introduction -- 2 Approach -- 2.1 Apply Learning Operator (Step 6) -- 2.2 Composed New Population and Calculate the Fitness (Step 7 & 8) -- 3 Example -- 4 Conclusions -- References -- Graduate Student Track Papers -- Improving Heuristics for the Next Release Problem through Landscape Visualization -- 1 Introduction -- 2 The Next Release Problem -- 3 Fitness Landscape Visualization -- 4 Modified Hill Climbing -- 5 Experiments -- 5.1 Experimental Setup -- 5.2 Experimental Results -- 6 Conclusion -- References -- Machine Learning for User Modeling in an Interactive Genetic Algorithm for the Next Release Problem -- 1 Introduction -- 2 An Interactive Genetic Algorithm for the Next Release Problem -- 2.1 Empirical Study Settings -- 2.2 Results and Analyses -- 3 A Machine Learning Approach for User Modeling -- 4 Conclusion -- References -- Transaction Profile Estimation of Queueing Network Models for IT Systems Using a Search-Based Technique -- 1 Introduction -- 2 Queueing Network Models for Capacity Planning -- 3 Inferring Service Demands -- 4 Experimental Evaluation -- 5 Related Work -- 6 Conclusions and Future Work -- References -- SBSE Challenge Track Papers -- Less is More: Temporal Fault Predictive Performance over Multiple Hadoop Releases -- 1 Introduction -- 2 Search-Based Temporal Fault Prediction -- 3 Results -- 4 Conclusions -- References. |
Babel Pidgin: SBSE Can Grow and Graft Entirely New Functionality into a RealWorld System -- 1 Introduction and Backgroud -- 2 Grafting an SSBSE Challenge Deadline Countdown -- 3 Growing and Grafting Babel Fish into Pidgin to Create Babel Pidgin -- 3.1 Results from Growing and Grafting Babel Fishes -- 4 Conclusions -- References -- Pidgin Crasher: Searching for Minimised Crashing GUI Event Sequences -- 1 Introduction -- 2 Test Generation, Execution and Reduction -- 3 Experiments and Results -- 4 Conclusions and Actionable Findings -- References -- Repairing and Optimizing Hadoop hashCode Implementations -- 1 Introduction -- 2 Methodology -- 3 Case Studies -- 4 Results -- 5 Conclusion and Future Work -- References -- Erratum: Repairing and Optimizing Hadoop hashCode Implementations |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 6th International Symposium on Search-Based Software Engineering, SSBSE 2014, held in Fortaleza, Brazil. The 14 revised full papers presented together with 2 keynote addresses, 1 invited talk, 1 short paper, 3 papers of the graduate track, and 4 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. |
|
|
|
|
|
|
|
| |