Search-Based Software Engineering: 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings (Lecture Notes in Computer Science)

✍ Scribed by Paolo Arcaini (editor), Tao Yue (editor), Erik M. Fredericks (editor)

• Publisher: Springer
• Year: 2023
• Tongue: English
• Leaves: 180
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the 15th International Symposium on Search-Based Software Engineering, SSBSE 2023, which took place in San Francisco, CA, USA, during December 8, 2023.The 7 full and 7 short papers included in this book were carefully reviewed and selected from 23 submissions. They focus on formulating various optimization problems in software engineering as search problems, addressing them with search techniques, intending to automate complex software engineering tasks.

✦ Table of Contents

Preface
Message from the Program Chairs
Organization
Keynotes
Search-Based Software Engineering for Learning-Enabled Self-Adaptive Systems
SSBSE Summary of .NET/C# Instrumentation for Search-Based Software Testing
Contents
Research Track
Generating Android Tests Using Novelty Search
1 Introduction
2 Background
2.1 Automated Android Testing
2.2 Search-Based Android Testing
2.3 Novelty Search
2.4 Subjective Logic
3 Novelty Search for Android Testing
3.1 kNN-based Novelty Search
3.2 SOSM-Based Novelty Search
4 Evaluation
4.1 Implementation
4.2 Parameter Tuning
4.3 Study Subjects
4.4 Experiment Procedure
4.5 Threats to Validity
4.6 Comparison of Novelty Search vs. Random vs. MIO
4.7 Discussion
5 Related Work
6 Conclusions
References
Expound: A Black-Box Approach for Generating Diversity-Driven Adversarial Examples
1 Introduction
2 Background
2.1 Adversarial Examples
2.2 Novelty Search
3 Methodology
4 Validation Studies
4.1 Experimental Setup
4.2 Coarse-Grained Search for Distinct Failure Categories (RQ1)
4.3 Fine-Grained Search for Diverse Adversarial Examples (RQ2)
4.4 Threats to Validity
5 Related Work
6 Conclusion
References
Developer Views on Software Carbon Footprint and Its Potential for Automated Reduction
1 Introduction
2 Background and Related Work
3 Methodology
3.1 Interviews
3.2 Survey
4 Results and Discussion
4.1 Existing Knowledge (RQ1)
4.2 Developer Opinions and Practices (RQ2)
4.3 Requirements for Automated Tools (RQ3)
4.4 Use in Development Workflow (RQ4)
4.5 Voluntary Adoption (RQ5)
5 Threats to Validity
6 Conclusions
References
Search-Based Mock Generation of External Web Service Interactions
1 Introduction
2 Related Work
3 HTTP Mocking
3.1 Instrumentation
3.2 The Mock Server
3.3 Requests and Responses
4 Empirical Study
4.1 Experiment Setup
4.2 Experiment Results
5 Conclusion
References
Exploring Genetic Improvement of the Carbon Footprint of Web Pages
1 Introduction
2 Background and Related Work
3 Methodology
3.1 Iteration I (Scoping, Fitness Functions, and Transformations)
3.2 Iteration II (Design of the Prototype Tool)
3.3 Iteration III (Refinement and Final Evaluation)
4 Results and Discussion
5 Threats to Validity
6 Conclusions
References
A Novel Mutation Operator for Search-Based Test Case Selection
1 Introduction
2 The Mutation Operator
2.1 Formalization
2.2 Approach
2.3 Applicability and Limitations
3 Evaluation
3.1 Research Questions
3.2 Experimental Design
3.3 Analysis of the Results
3.4 Threats to Validity
4 Related Work
5 Conclusion and Future Work
References
RENE/NIER Track
Multi-objective Black-Box Test Case Prioritization Based on Wordnet Distances
1 Introduction
2 Test Case Prioritization Based on WordNet
3 Preliminary Study
4 Conclusion and Future Work
References
On the Impact of Tool Evolution and Case Study Size on SBSE Experiments: A Replicated Study with EvoMaster
1 Introduction
2 Related Work
3 Considered Parameters
4 Empirical Study
4.1 Research Questions
4.2 Experiment Setup
4.3 Experiment Results
4.4 Findings Summary
5 Threats to Validity
6 Conclusion
References
Search-Based Optimisation of LLM Learning Shots for Story Point Estimation
1 Introduction
2 Proposed Approach
2.1 Computational Search
2.2 Estimation Model (Large Language Model)
2.3 Dataset
3 Preliminary Results
4 Conclusion
References
Challenge Track
StableYolo: Optimizing Image Generation for Large Language Models
1 Introduction
2 Proposed Approach
3 Experimental Setup and Results
4 Related Work
5 Conclusions
References
Improving the Readability of Generated Tests Using GPT-4 and ChatGPT Code Interpreter
1 Introduction
2 Background and Related Work
3 Approach
4 Preliminary Evaluation
5 Conclusions
References
Evaluating Explanations for Software Patches Generated by Large Language Models
1 Introduction
2 Experimental Design
2.1 Generation of Software Patch Explanations
2.2 Evaluation of the Software Patch Explanations
3 Results
4 Threats to Validity
5 Conclusions and Future Work
References
Enhancing Genetic Improvement Mutations Using Large Language Models
1 Introduction
2 Experimental Setup
3 Results
4 Conclusions and Future Work
References
SearchGEM5: Towards Reliable Gem5 with Search Based Software Testing and Large Language Models
1 Introduction
2 SearchGEM5
3 Results
4 Conclusions
References
Author Index