Vai al contenuto principale della pagina
Titolo: |
Search-based software engineering : 14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, proceedings / / edited by Mike Papadakis, Silvia Regina Vergilio
![]() |
Pubblicazione: | Cham, Switzerland : , : Springer, , [2022] |
©2022 | |
Descrizione fisica: | 1 online resource (130 pages) |
Disciplina: | 605 |
Soggetto topico: | Software engineering |
Persona (resp. second.): | PapadakisMike |
VergilioSilvia Regina | |
Nota di bibliografia: | Includes bibliographical references and index. |
Nota di contenuto: | 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 -- 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. | |
Author Index. | |
Titolo autorizzato: | Search-Based Software Engineering ![]() |
ISBN: | 3-031-21251-7 |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910631100003321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |