Fundamentals of Software Engineering

Name: Fundamentals of Software Engineering | 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Hossein Hojjat Mieke Massink(Herausgeber*in)

Springer (Verlag)

Erschienen am 21. September 2019

X, 261 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-030-31517-7 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

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() Function
4.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 Mining
1 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 Greenify
3.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 Trees
2.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
Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL
1 Introduction
2 Preliminaries
3 ANPs with Explicit Device Capabilities
3.1 Specifying Device Capabilities
3.2 Actor-Network Procedures with Capabilities
3.3 Learn and Create Events
3.4 Example: Establishing Shared Keys Using SSL/TSL
4 PDL-CK: Reasoning About ANP-Cs and Knowledge
4.1 Knowledge Distributions and Knowledge Histories
4.2 PDL-CK
4.3 Examples
5 Related Work
6 Concluding Remarks
References
Logics for Petri Nets with Propagating Failures
1 Introduction
2 Background
2.1 Propositional Dynamic Logic for Petri Nets with Iteration
2.2 Kleene Algebras and Action Lattice
3 Petri Nets with Failures
4 Parametric Construction of Dynamic Logics for Petri Nets with Failures
5 Conclusions and Further Work
References
Verifying System-Wide Properties of Industrial Component-Based Software
1 Introduction
2 Background Information
2.1 Analytical Software Design
2.2 mCRL2
2.3 Modal µ-calculus
3 Approach
3.1 Translating Single Components
3.2 Communication
3.3 Manual Translations
3.4 Queues
3.5 Framework
4 Case Study
4.1 Subsystems
4.2 Properties
5 Results
6 Related Work
7 Conclusion
References
Distributed Algorithms
Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness
1 Introduction
2 Preliminaries: Certifying Distributed Algorithms
3 Case Study: Certifying Distributed Bidding
4 Discussion
References
Taming Hierarchical Connectors
1 Introduction
2 Modelling Hierarchical Connectors
3 Container Logic
4 Model-Checking HiCon in Practice
5 Conclusions and Future Work
References
Service Orchestration with Priority Constraints
1 Introduction
2 Reo
3 Priority Flow
4 Numeric Priority
5 Case Study
6 Related Work
7 Conclusions and Future Work
References
Program Analysis
Modeling Non-deterministic C Code with Active Objects
1 Introduction
2 C-Fragment and Active Object Language
2.1 Input Language: C
2.2 Output Language: Active Objects
3 Model Extraction
3.1 Modelling Global Variable Declarations and Initial Call to Main
3.2 Modelling Unspecified Evaluation Order Within Expressions
3.3 Modelling Function Definitions as Classes
4 Experiments
5 Related and Future Work
6 Conclusion
References
Verification of Smart Contract Business Logic
1 Introduction
2 Preliminaries
2.1 Smart Contracts in Solidity
2.2 Deductive Verification with KeY
3 Translation to Java
4 Verification with KeY
5 Case Study: Casino Contract
6 Limitations and Challenges
7 Related Work
8 Conclusions
References
An Approach to Generate Effective Fault Localization Methods for Programs
1 Introduction
2 Background and Related Work
2.1 Preliminaries
2.2 Automated Fault Localization Techniques
3 Proposed Approach
3.1 Phase 1: Information Retrieval
3.2 Phase 2: Ranking Metric Generation
4 Experiments
4.1 Experiment Setup
4.2 Results
4.3 Discussions
4.4 Threats to Validity
5 Conclusions
References
Correction to: Verifying System-Wide Properties of Industrial Component-Based Software
Correction to: Chapter "Verifying System-Wide Properties of Industrial Component-Based Software" in: H. Hojjat and M. Massink (Eds.): Fundamentals of Software Engineering, LNCS 11761, https://doi.org/10.1007/978-3-030-31517-7_11
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken