Linked e-resources
Details
Table of Contents
Intro; Preface; Organization; Contents; Agent Based Systems; A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems; 1 Introduction; 2 Case Study; 3 Overview of PobSAM; 4 The Architecture of HPobSAM; 5 The Syntax of HPobSAM; 5.1 Hierarchical Hypergraphs Overview; 5.2 HPobSAM Syntax; 6 Structural Operational Semantics; 7 Discussion and Related Work; 8 Conclusion; References; A Two-Dimensional Self-coordination Mechanism of Agents in a Minority Game; 1 Introduction; 2 Related Work; 3 Problem Definition; 4 The Devised Social Coordination Method
4.1 The Effect() Function4.2 The Social Coordination Constraint; 4.3 Decision-Making Process; 4.4 Discussion on the Convergence Stability; 5 Evaluation and Discussion; 5.1 The Simulation Environment; 5.2 The Effect of History Size; 5.3 The Analysis of Social Utility; 5.4 The Analysis of Total Individual Utility; 5.5 The Maximum Starvation Length; 5.6 Scalability; 6 Conclusion; References; A Persistent Entropy Automaton for the Dow Jones Stock Market; 1 Introduction; 2 Methods; 3 Persistent Entropy Automaton of Dow Jones; 4 Conclusions; References; Theorem Proving
Proof Guidance in PVS with Sequential Pattern Mining1 Introduction; 2 Proof Corpus Mining with SPM; 3 Experiments; 3.1 Case Study; 3.2 Results and Discussion; 4 Related Work; 5 Conclusion; References; Using PVS for Modeling and Verification of Probabilistic Connectors; 1 Introduction; 2 Preliminaries; 3 Basic Definitions in PVS; 4 Probabilistic Channels and Operators; 4.1 Random and Probabilistic Channels; 4.2 Operators; 5 Reasoning; 6 Conclusion; References; Greenify: A Game with the Purpose of Test Data Generation for Unit Testing; Abstract; 1 Introduction; 2 Related Work
3 The Game Design of Greenify3.1 Display the Elements of a Program Unit in the Game; 3.2 The Gameplay; 3.3 Logging the Events; 3.4 Special Cases in Test Data Generation with Greenify; 3.5 Players; 3.6 Example: The Triangle Program; 4 Evaluation; 4.1 Test Data Generation Time; 4.2 Degree of Path Coverage; 4.3 Estimation of Infeasible Paths; 4.4 Players' Viewpoints About Greenify; 5 Conclusions and Future Work; References; Learning; Active Learning of Industrial Software with Data; 1 Introduction; 2 Preliminaries; 2.1 Theories and Data Languages; 2.2 Register Automata
2.3 Symbolic Decision Trees2.4 Observation Table; 3 The Algorithm SL*; 3.1 Algorithm; 3.2 Example; 4 Industrial Setting; 4.1 Experimental Setup; 4.2 Results; 5 Conclusion; References; An Experimental Study on Flakiness and Fragility of Randoop Regression Test Suites; 1 Introduction; 2 Related Work; 3 Experimental Study; 3.1 Research Questions; 3.2 Dataset; 3.3 Experiments; 3.4 Metrics; 4 Result Analysis; 4.1 Regression Test Suite Generation; 4.2 Flakiness Analysis; 4.3 Fragility Analysis; 5 Conclusion; References; Verification
4.1 The Effect() Function4.2 The Social Coordination Constraint; 4.3 Decision-Making Process; 4.4 Discussion on the Convergence Stability; 5 Evaluation and Discussion; 5.1 The Simulation Environment; 5.2 The Effect of History Size; 5.3 The Analysis of Social Utility; 5.4 The Analysis of Total Individual Utility; 5.5 The Maximum Starvation Length; 5.6 Scalability; 6 Conclusion; References; A Persistent Entropy Automaton for the Dow Jones Stock Market; 1 Introduction; 2 Methods; 3 Persistent Entropy Automaton of Dow Jones; 4 Conclusions; References; Theorem Proving
Proof Guidance in PVS with Sequential Pattern Mining1 Introduction; 2 Proof Corpus Mining with SPM; 3 Experiments; 3.1 Case Study; 3.2 Results and Discussion; 4 Related Work; 5 Conclusion; References; Using PVS for Modeling and Verification of Probabilistic Connectors; 1 Introduction; 2 Preliminaries; 3 Basic Definitions in PVS; 4 Probabilistic Channels and Operators; 4.1 Random and Probabilistic Channels; 4.2 Operators; 5 Reasoning; 6 Conclusion; References; Greenify: A Game with the Purpose of Test Data Generation for Unit Testing; Abstract; 1 Introduction; 2 Related Work
3 The Game Design of Greenify3.1 Display the Elements of a Program Unit in the Game; 3.2 The Gameplay; 3.3 Logging the Events; 3.4 Special Cases in Test Data Generation with Greenify; 3.5 Players; 3.6 Example: The Triangle Program; 4 Evaluation; 4.1 Test Data Generation Time; 4.2 Degree of Path Coverage; 4.3 Estimation of Infeasible Paths; 4.4 Players' Viewpoints About Greenify; 5 Conclusions and Future Work; References; Learning; Active Learning of Industrial Software with Data; 1 Introduction; 2 Preliminaries; 2.1 Theories and Data Languages; 2.2 Register Automata
2.3 Symbolic Decision Trees2.4 Observation Table; 3 The Algorithm SL*; 3.1 Algorithm; 3.2 Example; 4 Industrial Setting; 4.1 Experimental Setup; 4.2 Results; 5 Conclusion; References; An Experimental Study on Flakiness and Fragility of Randoop Regression Test Suites; 1 Introduction; 2 Related Work; 3 Experimental Study; 3.1 Research Questions; 3.2 Dataset; 3.3 Experiments; 3.4 Metrics; 4 Result Analysis; 4.1 Regression Test Suite Generation; 4.2 Flakiness Analysis; 4.3 Fragility Analysis; 5 Conclusion; References; Verification