| Description |
1 online resource (x, 261 pages) : illustrations (some color) |
| Series |
Lecture notes in computer science ; 11761 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 11761.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| 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 |
| Summary |
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019. The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on agent based systems, theorem proving, learning, verification, distributed algorithms, and program analysis. -- Provided by publisher |
| Notes |
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed September 27, 2019) |
| Subject |
Software engineering -- Congresses
|
|
Software engineering
|
| Genre/Form |
Electronic books
|
|
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Hojjat, Hossein, editor
|
|
Massink, Mieke, editor.
|
| ISBN |
9783030315177 |
|
3030315177 |
|
