Search-based software engineering : 14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, proceedings / / edited by Mike Papadakis, Silvia Regina Vergilio |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
Descrizione fisica | 1 online resource (130 pages) |
Disciplina | 605 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Software engineering |
ISBN | 3-031-21251-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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. |
Record Nr. | UNISA-996500063603316 |
Cham, Switzerland : , : Springer, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Search-based software engineering : 14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, proceedings / / edited by Mike Papadakis, Silvia Regina Vergilio |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
Descrizione fisica | 1 online resource (130 pages) |
Disciplina | 605 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Software engineering |
ISBN | 3-031-21251-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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. |
Record Nr. | UNINA-9910631100003321 |
Cham, Switzerland : , : Springer, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|