Description |
1 online resource (130 p.) |
Series |
Lecture Notes in Computer Science ; 13711 |
|
Lecture notes in computer science ; 13711.
|
Contents |
Intro -- Preface -- Preface -- Organization -- Keynotes -- Applications of Search-based Software Testing to Trustworthy Artificial Intelligence -- Genetic Improvement of Software -- Tutorial -- Methodology and Guidelines for Evaluating Multi-Objective Search-Based Software Engineering -- Contents -- Research Papers -- Search-Based Test Suite Generation for Rust -- 1 Introduction -- 2 Background -- 2.1 The RUST Programming Language -- 2.2 Test Generation for Rust -- 2.3 Search-Based Unit Test Generation -- 3 Search-Based Unit Test Generation for Rust -- 3.1 Encoding -- 3.2 Implementation |
|
4 Evaluation -- 4.1 Experimental Setup -- 4.2 Results -- 5 Conclusions -- References -- An Empirical Comparison of EvoSuite and DSpot for Improving Developer-Written Test Suites with Respect to Mutation Score -- 1 Introduction -- 2 Background -- 3 Modifications Made to EvoSuite-EvoSuiteAmp -- 4 Empirical Study -- 4.1 Experimental Procedure -- 4.2 Threats to Validity -- 5 Results -- 5.1 Discussion -- 6 Related Work -- 7 Conclusions and Future Work -- References -- Efficient Fairness Testing Through Hash-Based Sampling -- 1 Introduction -- 2 Background -- 2.1 Individual Fairness Testing |
|
2.2 Verification Based Testing (Vbt) -- 2.3 Hash-Based Sampling -- 3 Proposed Method -- 3.1 Basic Method (Basic Vbt-X) -- 3.2 Enhancement (Vbt-X) -- 4 Evaluation -- 4.1 Experimental Setup -- 4.2 Results -- 5 Related Work -- 6 Validity Threats -- 7 Conclusion and Future Work -- References -- Improving Search-Based Android Test Generation Using Surrogate Models -- 1 Introduction -- 2 Background -- 2.1 Automated Android Testing -- 2.2 Surrogate Models -- 2.3 Android GUI Models -- 3 Android Testing with Surrogate Models -- 3.1 Search-Based Android Testing: MATE -- 3.2 Surrogate Model for Android GUIs |
|
3.3 Test Execution with a Surrogate Model -- 4 Evaluation -- 4.1 Experimental Setup -- 4.2 Experiments -- 4.3 RQ1: State Equivalence Levels -- 4.4 RQ2: Effects on App Restarts -- 4.5 RQ3: Effects on Tests and Coverage -- 5 Related Work -- 5.1 State Equivalence -- 5.2 Surrogate Models in Automated Testing -- 6 Conclusions -- References -- Guess What: Test Case Generation for Javascript with Unsupervised Probabilistic Type Inference -- 1 Introduction -- 2 Background and Related Work -- 3 Approach -- 3.1 Phase 1: Static Analysis -- 3.2 Phase 2: Unsupervised Static Type Inference |
|
3.3 Phase 3: Test Case Generation -- 4 Empirical Study -- 5 Results -- 6 Threats to Validity -- 7 Conclusion and Future Work -- References -- EvoAttack: An Evolutionary Search-Based Adversarial Attack for Object Detection Models -- 1 Introduction -- 2 Background -- 2.1 Adversarial Examples -- 2.2 Adversarial Examples for Object Detection Algorithms -- 2.3 Related Work -- 3 Methodology -- 3.1 Object Detection Benchmark Datasets -- 3.2 Evolutionary Search-Based Approach -- 3.3 Adaptive Mutation Scheme -- 4 Empirical Studies -- 4.1 Experimental Setup for Evolutionary Search-Based Approaches |
Summary |
This book constitutes the proceedings of the 14th International Symposium on Search-Based Software Engineering, SSBSE 2022, which was held in Singapore, in November 2022. The 6 regular papers, the NIER and RENE tracks as well as the Challenge Track that were included in this volume were carefully reviewed and selected from 15 submissions. The papers deal with novel ideas and applications of search-based software engineering, focusing on engineering challenges and the application of automated approaches and optimization techniques from AI and machine learning research |
Notes |
4.2 E1: Demonstration of the Adaptive Mutation Operator |
|
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed November 28, 2022) |
Subject |
Software engineering -- Congresses
|
|
Search engines -- Congresses
|
|
Search engines
|
|
Software engineering
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Papadakis, Mike
|
|
Vergilio, Silvia Regina
|
ISBN |
9783031212512 |
|
3031212517 |
|
9788303121257 |
|
8303121251 |
|