Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Genetic and Evolutionary Computation - GECCO 2003 [[electronic resource] ] : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003, Proceedings, Part I / / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, David Lawrence, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russel Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Natasha Jonoska, Kathryn A. Dowsland, Julian F. Miller
| Genetic and Evolutionary Computation - GECCO 2003 [[electronic resource] ] : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003, Proceedings, Part I / / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, David Lawrence, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russel Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Natasha Jonoska, Kathryn A. Dowsland, Julian F. Miller |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XCIV, 1256 p.) |
| Disciplina | 006.3/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Computers Computer programming Algorithms Application software Bioinformatics Artificial Intelligence Computation by Abstract Devices Programming Techniques Algorithm Analysis and Problem Complexity Computer Appl. in Administrative Data Processing |
| ISBN | 3-540-45105-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A-Life, Adaptive Behavior, Agents, and Ant Colony Optimization -- A-Life, Adaptive Behavior, Agents, and Ant Colony Optimization — Posters -- Artificial Immune Systems -- Artificial Immune Systems — Posters -- Coevolution -- Coevolution — Posters -- DNA, Molecular, and Quantum Computing -- DNA, Molecular, and Quantum Computing — Posters -- Evolvable Hardware -- Evolvable Hardware — Posters -- Evolutionary Robotics -- Evolutionary Robotics — Posters -- Evolution Strategies/Evolutionary Programming -- Evolution Strategies/Evolutionary Programming — Posters -- Evolutionary Scheduling Routing -- Evolutionary Scheduling Routing — Posters -- Genetic Algorithms. |
| Record Nr. | UNISA-996465897103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Genetic and Evolutionary Computation - GECCO 2003 : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003, Proceedings, Part I / / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, David Lawrence, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russel Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Natasha Jonoska, Kathryn A. Dowsland, Julian F. Miller
| Genetic and Evolutionary Computation - GECCO 2003 : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003, Proceedings, Part I / / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, David Lawrence, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russel Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Natasha Jonoska, Kathryn A. Dowsland, Julian F. Miller |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XCIV, 1256 p.) |
| Disciplina | 006.3/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Computers Computer programming Algorithms Application software Bioinformatics Artificial Intelligence Computation by Abstract Devices Programming Techniques Algorithm Analysis and Problem Complexity Computer Appl. in Administrative Data Processing |
| ISBN | 3-540-45105-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A-Life, Adaptive Behavior, Agents, and Ant Colony Optimization -- A-Life, Adaptive Behavior, Agents, and Ant Colony Optimization — Posters -- Artificial Immune Systems -- Artificial Immune Systems — Posters -- Coevolution -- Coevolution — Posters -- DNA, Molecular, and Quantum Computing -- DNA, Molecular, and Quantum Computing — Posters -- Evolvable Hardware -- Evolvable Hardware — Posters -- Evolutionary Robotics -- Evolutionary Robotics — Posters -- Evolution Strategies/Evolutionary Programming -- Evolution Strategies/Evolutionary Programming — Posters -- Evolutionary Scheduling Routing -- Evolutionary Scheduling Routing — Posters -- Genetic Algorithms. |
| Record Nr. | UNINA-9910767534703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Genetic and Evolutionary Computation — GECCO 2003 [[electronic resource] ] : Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part II / / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence David Davis, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russel Standish, Graham Kendall, Stewart Wilson, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz
| Genetic and Evolutionary Computation — GECCO 2003 [[electronic resource] ] : Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part II / / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence David Davis, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russel Standish, Graham Kendall, Stewart Wilson, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XCIV, 1280 p. 818 illus.) |
| Disciplina | 576.8 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Evolutionary biology
Computers Computer programming Algorithms Artificial intelligence Application software Evolutionary Biology Computation by Abstract Devices Programming Techniques Algorithm Analysis and Problem Complexity Artificial Intelligence Computer Appl. in Administrative Data Processing |
| ISBN | 3-540-45110-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Genetic Algorithms -- Genetic Algorithms — Posters -- Genetic Programming -- Genetic Programming — Posters -- Learning Classifier Systems -- Learning Classifier Systems — Posters -- Real World Applications -- Real World Applications — Posters -- Search Based Software Engineering -- Search Based Software Engineering — Posters. |
| Record Nr. | UNISA-996465896303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Genetic and Evolutionary Computation — GECCO 2003 : Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part II / / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence David Davis, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russel Standish, Graham Kendall, Stewart Wilson, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz
| Genetic and Evolutionary Computation — GECCO 2003 : Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part II / / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence David Davis, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russel Standish, Graham Kendall, Stewart Wilson, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XCIV, 1280 p. 818 illus.) |
| Disciplina | 576.8 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Evolutionary biology
Computers Computer programming Algorithms Artificial intelligence Application software Evolutionary Biology Computation by Abstract Devices Programming Techniques Algorithm Analysis and Problem Complexity Artificial Intelligence Computer Appl. in Administrative Data Processing |
| ISBN | 3-540-45110-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Genetic Algorithms -- Genetic Algorithms — Posters -- Genetic Programming -- Genetic Programming — Posters -- Learning Classifier Systems -- Learning Classifier Systems — Posters -- Real World Applications -- Real World Applications — Posters -- Search Based Software Engineering -- Search Based Software Engineering — Posters. |
| Record Nr. | UNINA-9910144043903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Genetic Programming [[electronic resource] ] : 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings / / edited by Maarten Keijzer, Una-May O'Reilly, Simon M. Lucas, Ernesto Costa, Terence Soule
| Genetic Programming [[electronic resource] ] : 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings / / edited by Maarten Keijzer, Una-May O'Reilly, Simon M. Lucas, Ernesto Costa, Terence Soule |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XI, 412 p.) |
| Disciplina | 006.3/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Computers Computer programming Algorithms Artificial Intelligence Computation by Abstract Devices Programming Techniques Algorithm Analysis and Problem Complexity |
| ISBN |
1-280-30721-8
9786610307210 3-540-24650-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Papers -- Evaluation of Chess Position by Modular Neural Network Generated by Genetic Algorithm -- Coevolution of Algorithms and Deterministic Solution of Equations in Free Groups -- Designing Optimal Combinational Digital Circuits Using a Multiple Logic Unit Processor -- A Data Structure for Improved GP Analysis via Efficient Computation and Visualisation of Population Measures -- Boosting Technique for Combining Cellular GP Classifiers -- Co-evolving Faults to Improve the Fault Tolerance of Sorting Networks -- Toward an Alternative Comparison between Different Genetic Programming Systems -- Lymphoma Cancer Classification Using Genetic Programming with SNR Features -- A Practical Approach to Evolving Concurrent Programs -- Evolutionary Induction of Grammar Systems for Multi-agent Cooperation -- Genetic Programming Applied to Mixed Integer Programming -- Efficient Crossover in the GAuGE System -- Grammatical Evolution by Grammatical Evolution: The Evolution of Grammar and Genetic Code -- Constrained Molecular Dynamics as a Search and Optimization Tool -- On the Performance of Genetic Operators and the Random Key Representation -- Analysis of GP Improvement Techniques over the Real-World Inverse Problem of Ocean Color -- Evolution and Acquisition of Modules in Cartesian Genetic Programming -- How to Choose Appropriate Function Sets for Gentic Programming -- Improving Grammar-Based Evolutionary Algorithms via Attributed Derivation Trees -- Posters -- Evolved Matrix Operations for Post-processing Protein Secondary Structure Predictions -- Genetic Programming for Natural Language Parsing -- Comparing Hybrid Systems to Design and Optimize Artificial Neural Networks -- An Evolutionary Algorithm for the Input-Output Block Assignment Problem -- Genetic Programming for Subjective Fitness Function Identification -- Saving Effort in Parallel GP by Means of Plagues -- Sampling of Unique Structures and Behaviours in Genetic Programming -- The Evolution of Concurrent Control Software Using Genetic Programming -- Extending Grammatical Evolution to Evolve Digital Surfaces with Genr8 -- Evolving Text Classifiers with Genetic Programming -- Automatic Synthesis of Instruction Decode Logic by Genetic Programming -- Alternatives in Subtree Caching for Genetic Programming -- Structural Risk Minimization on Decision Trees Using an Evolutionary Multiobjective Optimization -- Global Distributed Evolution of L-Systems Fractals -- Reusing Code in Genetic Programming -- Exploiting Reflection in Object Oriented Genetic Programming -- Evolutionary Feature Construction Using Information Gain and Gini Index -- On the Evolution of Evolutionary Algorithms -- Genetic Programming with Gradient Descent Search for Multiclass Object Classification. |
| Record Nr. | UNISA-996465538803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Genetic Programming : 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings / / edited by Maarten Keijzer, Una-May O'Reilly, Simon M. Lucas, Ernesto Costa, Terence Soule
| Genetic Programming : 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings / / edited by Maarten Keijzer, Una-May O'Reilly, Simon M. Lucas, Ernesto Costa, Terence Soule |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XI, 412 p.) |
| Disciplina | 006.3/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Computers Computer programming Algorithms Artificial Intelligence Computation by Abstract Devices Programming Techniques Algorithm Analysis and Problem Complexity |
| ISBN |
1-280-30721-8
9786610307210 3-540-24650-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Papers -- Evaluation of Chess Position by Modular Neural Network Generated by Genetic Algorithm -- Coevolution of Algorithms and Deterministic Solution of Equations in Free Groups -- Designing Optimal Combinational Digital Circuits Using a Multiple Logic Unit Processor -- A Data Structure for Improved GP Analysis via Efficient Computation and Visualisation of Population Measures -- Boosting Technique for Combining Cellular GP Classifiers -- Co-evolving Faults to Improve the Fault Tolerance of Sorting Networks -- Toward an Alternative Comparison between Different Genetic Programming Systems -- Lymphoma Cancer Classification Using Genetic Programming with SNR Features -- A Practical Approach to Evolving Concurrent Programs -- Evolutionary Induction of Grammar Systems for Multi-agent Cooperation -- Genetic Programming Applied to Mixed Integer Programming -- Efficient Crossover in the GAuGE System -- Grammatical Evolution by Grammatical Evolution: The Evolution of Grammar and Genetic Code -- Constrained Molecular Dynamics as a Search and Optimization Tool -- On the Performance of Genetic Operators and the Random Key Representation -- Analysis of GP Improvement Techniques over the Real-World Inverse Problem of Ocean Color -- Evolution and Acquisition of Modules in Cartesian Genetic Programming -- How to Choose Appropriate Function Sets for Gentic Programming -- Improving Grammar-Based Evolutionary Algorithms via Attributed Derivation Trees -- Posters -- Evolved Matrix Operations for Post-processing Protein Secondary Structure Predictions -- Genetic Programming for Natural Language Parsing -- Comparing Hybrid Systems to Design and Optimize Artificial Neural Networks -- An Evolutionary Algorithm for the Input-Output Block Assignment Problem -- Genetic Programming for Subjective Fitness Function Identification -- Saving Effort in Parallel GP by Means of Plagues -- Sampling of Unique Structures and Behaviours in Genetic Programming -- The Evolution of Concurrent Control Software Using Genetic Programming -- Extending Grammatical Evolution to Evolve Digital Surfaces with Genr8 -- Evolving Text Classifiers with Genetic Programming -- Automatic Synthesis of Instruction Decode Logic by Genetic Programming -- Alternatives in Subtree Caching for Genetic Programming -- Structural Risk Minimization on Decision Trees Using an Evolutionary Multiobjective Optimization -- Global Distributed Evolution of L-Systems Fractals -- Reusing Code in Genetic Programming -- Exploiting Reflection in Object Oriented Genetic Programming -- Evolutionary Feature Construction Using Information Gain and Gini Index -- On the Evolution of Evolutionary Algorithms -- Genetic Programming with Gradient Descent Search for Multiclass Object Classification. |
| Record Nr. | UNINA-9910144204203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Search-based software engineering : 13th international symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, proceedings / / Una-May O'Reilly, Xavier Devroey (editors)
| Search-based software engineering : 13th international symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, proceedings / / Una-May O'Reilly, Xavier Devroey (editors) |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (176 pages) |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Software engineering |
| ISBN | 3-030-88106-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Message from the General Chairs -- Message from the Program Chairs -- Organization -- SSBSE'21 Tutorial: Search-Based System Testing with EvoMaster (Tutorial Paper) -- Contents -- Keynote -- On the Effectiveness of SBSE Techniques -- 1 Instance Space Analysis for SBSE -- References -- Research Papers -- Generating Failing Test Suites for Quantum Programs With Search -- 1 Introduction -- 2 Related Work -- 3 Background -- 4 Definitions -- 5 Quantum Search-Based Testing (QuSBT) -- 5.1 Failures Types, Test, and Test Assessment -- 5.2 Test Case Generation -- 6 Experimental Design -- 7 Results and Discussions -- 7.1 Results and Analyses -- 7.2 Discussion -- 8 Threats to Validity -- 9 Conclusion and Future Work -- References -- Preliminary Evaluation of SWAY in Permutation Decision Space via a Novel Euclidean Embedding -- 1 Introduction -- 2 SWAY for Permutative Decision Spaces -- 2.1 The Original SWAY -- 2.2 Preliminaries -- 2.3 Consideration of Naive Embedding -- 2.4 Motivations for Rank Based Embedding -- 3 Preliminary Evaluation: Test Case Prioritisation (TCP) -- 3.1 Performance Metrics -- 3.2 Baseline Approaches -- 3.3 SWAY for TCP -- 3.4 Benchmarks -- 3.5 Research Questions -- 4 Results -- 4.1 RQ1: How Well Does Our Approach Perform? -- 4.2 RQ2: Sensitivity of SWAY to Initial Sample Size -- 4.3 Threats to Validity -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Search-Based Selection and Prioritization of Test Scenarios for Autonomous Driving Systems -- 1 Introduction -- 2 Problem Representation and Objective Function -- 2.1 Problem Representation -- 2.2 Objective Functions -- 3 Empirical Evaluation -- 3.1 DataSet -- 3.2 Research Questions (RQs) -- 3.3 Experiment Design and Evaluation Metrics -- 3.4 Statistical Tests -- 4 Results and Analyses -- 4.1 Results of RQ1 -- 4.2 Results of RQ2 -- 4.3 Results of RQ3.
4.4 Results of RQ4 -- 4.5 Overall Discussion -- 4.6 Threats to Validity -- 5 Related Work -- 6 Conclusion and Future Work -- References -- Search-Based Automated Play Testing of Computer Games: A Model-Based Approach -- 1 Introduction -- 2 Running Example -- 3 Modelling Games -- 3.1 EFSM Notation -- 4 Problem Definition -- 5 Test Generation -- 5.1 Search-Based Test Generation -- 6 Evaluation -- 6.1 Prototype: EvoMBT -- 6.2 Models of the System Under Test -- 6.3 Experiment Setup -- 6.4 Results -- 7 Related Work -- 8 Conclusion and Future Work -- References -- Hybrid Multi-level Crossover for Unit Test Case Generation -- 1 Introduction -- 2 Background and Related Work -- 3 Approach -- 3.1 Simulated Binary Crossover -- 3.2 String Crossover -- 4 Empirical Study -- 5 Results -- 5.1 Result for RQ1: Structural Coverage -- 5.2 Result for RQ2: Fault Detection Capability -- 6 Threats to Validity -- 7 Conclusions and Future Work -- References -- Multi-objective Test Case Selection Through Linkage Learning-Based Crossover -- 1 Introduction -- 2 Background and Related Work -- 2.1 Linkage Learning -- 3 Approach -- 3.1 Linkage-Based Crossover -- 3.2 Similarity Function for Linkage Learning -- 4 Empirical Study -- 5 Results -- 6 Threats to Validity -- 7 Conclusions and Future Work -- References -- Enhancing Resource-Based Test Case Generation for RESTful APIs with SQL Handling -- 1 Introduction -- 2 Background and Related Work -- 2.1 Resource and Dependency Based MIO (Rd-MIO*) -- 2.2 SQL Handling in EvoMaster -- 2.3 REST API Testing -- 3 Resource Handling with SQL -- 4 Empirical Study -- 4.1 Experiment Setup -- 4.2 Experiment Results -- 5 Threats to Validity -- 6 Conclusions and Future Work -- References -- Replications and Negative Results -- Empirical Study of Effectiveness of EvoSuite on the SBST 2020 Tool Competition Benchmark -- 1 Introduction. 2 Empirical Study Setup -- 2.1 Benchmark Overview -- 2.2 Analysis Procedure -- 2.3 Study Questions -- 3 Empirical Study Results -- 3.1 SQ1: Object Construction Problem -- 3.2 SQ2: OO-Related Problem -- 3.3 SQ3: Large Search Space Problem -- 3.4 SQ4: Other Problem -- 3.5 SQ5: Common Major Problems -- 4 Conclusion and Future Work -- References -- Improving Android App Responsiveness Through Automated Frame Rate Reduction -- 1 Introduction -- 2 Background -- 3 Improvement of Android App Responsiveness Using GI -- 4 Methodology -- 4.1 Framework -- 4.2 Validation -- 4.3 Benchmarks: Mobile Application Selection -- 4.4 Physical Setup -- 5 Results -- 5.1 RQ1: Improvements to Responsiveness -- 5.2 RQ2: Types of Improvements -- 5.3 RQ3: Cost of Improving Responsiveness -- 6 Threats to Validity -- 7 Related Work -- 8 Conclusions and Future Work -- References -- Challenge Solutions -- Searching for Multi-fault Programs in Defects4J -- 1 Introduction -- 2 Proposed Approach -- 2.1 A Motivating Example -- 2.2 Searching for Multiple Fault Versions -- 2.3 Implementation Details -- 3 Results -- 4 Conclusion -- References -- Refining Fitness Functions for Search-Based Automated Program Repair -- 1 Introduction -- 2 Background -- 3 Experimental Design -- 4 Results and Discussion -- 5 Conclusions -- References -- Author Index. |
| Record Nr. | UNINA-9910502978503321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Search-based software engineering : 13th international symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, proceedings / / Una-May O'Reilly, Xavier Devroey (editors)
| Search-based software engineering : 13th international symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, proceedings / / Una-May O'Reilly, Xavier Devroey (editors) |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (176 pages) |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Software engineering |
| ISBN | 3-030-88106-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Message from the General Chairs -- Message from the Program Chairs -- Organization -- SSBSE'21 Tutorial: Search-Based System Testing with EvoMaster (Tutorial Paper) -- Contents -- Keynote -- On the Effectiveness of SBSE Techniques -- 1 Instance Space Analysis for SBSE -- References -- Research Papers -- Generating Failing Test Suites for Quantum Programs With Search -- 1 Introduction -- 2 Related Work -- 3 Background -- 4 Definitions -- 5 Quantum Search-Based Testing (QuSBT) -- 5.1 Failures Types, Test, and Test Assessment -- 5.2 Test Case Generation -- 6 Experimental Design -- 7 Results and Discussions -- 7.1 Results and Analyses -- 7.2 Discussion -- 8 Threats to Validity -- 9 Conclusion and Future Work -- References -- Preliminary Evaluation of SWAY in Permutation Decision Space via a Novel Euclidean Embedding -- 1 Introduction -- 2 SWAY for Permutative Decision Spaces -- 2.1 The Original SWAY -- 2.2 Preliminaries -- 2.3 Consideration of Naive Embedding -- 2.4 Motivations for Rank Based Embedding -- 3 Preliminary Evaluation: Test Case Prioritisation (TCP) -- 3.1 Performance Metrics -- 3.2 Baseline Approaches -- 3.3 SWAY for TCP -- 3.4 Benchmarks -- 3.5 Research Questions -- 4 Results -- 4.1 RQ1: How Well Does Our Approach Perform? -- 4.2 RQ2: Sensitivity of SWAY to Initial Sample Size -- 4.3 Threats to Validity -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Search-Based Selection and Prioritization of Test Scenarios for Autonomous Driving Systems -- 1 Introduction -- 2 Problem Representation and Objective Function -- 2.1 Problem Representation -- 2.2 Objective Functions -- 3 Empirical Evaluation -- 3.1 DataSet -- 3.2 Research Questions (RQs) -- 3.3 Experiment Design and Evaluation Metrics -- 3.4 Statistical Tests -- 4 Results and Analyses -- 4.1 Results of RQ1 -- 4.2 Results of RQ2 -- 4.3 Results of RQ3.
4.4 Results of RQ4 -- 4.5 Overall Discussion -- 4.6 Threats to Validity -- 5 Related Work -- 6 Conclusion and Future Work -- References -- Search-Based Automated Play Testing of Computer Games: A Model-Based Approach -- 1 Introduction -- 2 Running Example -- 3 Modelling Games -- 3.1 EFSM Notation -- 4 Problem Definition -- 5 Test Generation -- 5.1 Search-Based Test Generation -- 6 Evaluation -- 6.1 Prototype: EvoMBT -- 6.2 Models of the System Under Test -- 6.3 Experiment Setup -- 6.4 Results -- 7 Related Work -- 8 Conclusion and Future Work -- References -- Hybrid Multi-level Crossover for Unit Test Case Generation -- 1 Introduction -- 2 Background and Related Work -- 3 Approach -- 3.1 Simulated Binary Crossover -- 3.2 String Crossover -- 4 Empirical Study -- 5 Results -- 5.1 Result for RQ1: Structural Coverage -- 5.2 Result for RQ2: Fault Detection Capability -- 6 Threats to Validity -- 7 Conclusions and Future Work -- References -- Multi-objective Test Case Selection Through Linkage Learning-Based Crossover -- 1 Introduction -- 2 Background and Related Work -- 2.1 Linkage Learning -- 3 Approach -- 3.1 Linkage-Based Crossover -- 3.2 Similarity Function for Linkage Learning -- 4 Empirical Study -- 5 Results -- 6 Threats to Validity -- 7 Conclusions and Future Work -- References -- Enhancing Resource-Based Test Case Generation for RESTful APIs with SQL Handling -- 1 Introduction -- 2 Background and Related Work -- 2.1 Resource and Dependency Based MIO (Rd-MIO*) -- 2.2 SQL Handling in EvoMaster -- 2.3 REST API Testing -- 3 Resource Handling with SQL -- 4 Empirical Study -- 4.1 Experiment Setup -- 4.2 Experiment Results -- 5 Threats to Validity -- 6 Conclusions and Future Work -- References -- Replications and Negative Results -- Empirical Study of Effectiveness of EvoSuite on the SBST 2020 Tool Competition Benchmark -- 1 Introduction. 2 Empirical Study Setup -- 2.1 Benchmark Overview -- 2.2 Analysis Procedure -- 2.3 Study Questions -- 3 Empirical Study Results -- 3.1 SQ1: Object Construction Problem -- 3.2 SQ2: OO-Related Problem -- 3.3 SQ3: Large Search Space Problem -- 3.4 SQ4: Other Problem -- 3.5 SQ5: Common Major Problems -- 4 Conclusion and Future Work -- References -- Improving Android App Responsiveness Through Automated Frame Rate Reduction -- 1 Introduction -- 2 Background -- 3 Improvement of Android App Responsiveness Using GI -- 4 Methodology -- 4.1 Framework -- 4.2 Validation -- 4.3 Benchmarks: Mobile Application Selection -- 4.4 Physical Setup -- 5 Results -- 5.1 RQ1: Improvements to Responsiveness -- 5.2 RQ2: Types of Improvements -- 5.3 RQ3: Cost of Improving Responsiveness -- 6 Threats to Validity -- 7 Related Work -- 8 Conclusions and Future Work -- References -- Challenge Solutions -- Searching for Multi-fault Programs in Defects4J -- 1 Introduction -- 2 Proposed Approach -- 2.1 A Motivating Example -- 2.2 Searching for Multiple Fault Versions -- 2.3 Implementation Details -- 3 Results -- 4 Conclusion -- References -- Refining Fitness Functions for Search-Based Automated Program Repair -- 1 Introduction -- 2 Background -- 3 Experimental Design -- 4 Results and Discussion -- 5 Conclusions -- References -- Author Index. |
| Record Nr. | UNISA-996464499303316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||