LEADER 05347nam 2200481 450 001 9910631100003321 005 20231110214635.0 010 $a3-031-21251-7 035 $a(MiAaPQ)EBC7141542 035 $a(Au-PeEL)EBL7141542 035 $a(CKB)25360922700041 035 $a(OCoLC)1351199161 035 $a(PPN)26634870X 035 $a(EXLCZ)9925360922700041 100 $a20230330d2022 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aSearch-based software engineering $e14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, proceedings /$fedited by Mike Papadakis, Silvia Regina Vergilio 210 1$aCham, Switzerland :$cSpringer,$d[2022] 210 4$d©2022 215 $a1 online resource (130 pages) 225 1 $aLecture Notes in Computer Science ;$vv.13711 311 08$aPrint version: Papadakis, Mike Search-Based Software Engineering Cham : Springer International Publishing AG,c2022 9783031212505 320 $aIncludes bibliographical references and index. 327 $aIntro -- 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. 327 $a4.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 -- 4.2 E1: Demonstration of the Adaptive Mutation Operator -- 4.3 E2: Demonstration that EvoAttack is Model Agnostic -- 4.4 E3: Demonstration that EvoAttack is Data Agnostic -- 4.5 Threats to Validity -- 5 Conclusion -- References -- NIER and RENE Tracks -- Applying Combinatorial Testing to Verification-Based Fairness Testing -- 1 Introduction -- 2 Preliminary -- 2.1 Verification Based Testing -- 2.2 Combinatorial t-Way Testing (CT) -- 3 Proposed Approach: VBT-CT -- 4 Experiments -- 5 Related Work -- 6 Discussion and Future Work -- References -- Challenge Track -- Multi-objective Genetic Improvement: A Case Study with EvoSuite -- 1 Introduction -- 2 Background -- 3 Approach -- 4 Methodology -- 5 Results and Discussion -- 6 Conclusion -- References. 327 $aAuthor Index. 410 0$aLecture Notes in Computer Science 606 $aSoftware engineering$vCongresses 615 0$aSoftware engineering 676 $a605 702 $aPapadakis$b Mike 702 $aVergilio$b Silvia Regina 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910631100003321 996 $aSearch-Based Software Engineering$92966323 997 $aUNINA