Table of Contents
|
Fundamentals of Software Engineering
Hossein Hojjat, Mieke Massink |
Front Matter |
Agent Based Systems
|
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems
Narges Khakpour, Jetty Kleijn, Marjan Sirjani |
3-19 |
A Two-Dimensional Self-coordination Mechanism of Agents in a Minority Game
Sanaz Hasanzadeh Fard, Hadi Tabatabaee Malazi |
20-36 |
A Persistent Entropy Automaton for the Dow Jones Stock Market
Marco Piangerelli, Luca Tesei, Emanuela Merelli |
37-42 |
Theorem Proving
|
Proof Guidance in PVS with Sequential Pattern Mining
M. Saqib Nawaz, Meng Sun, Philippe Fournier-Viger |
45-60 |
Using PVS for Modeling and Verification of Probabilistic Connectors
M. Saqib Nawaz, Meng Sun |
61-76 |
Greenify: A Game with the Purpose of Test Data Generation for Unit Testing
Sharmin Moosavi, Hassan Haghighi, Hasti Sahabi, Farzam Vatanzade, Mojtaba Vahidi Asl |
77-92 |
Learning
|
Active Learning of Industrial Software with Data
Lisette Sanchez, Jan Friso Groote, Ramon Schiffelers |
95-110 |
An Experimental Study on Flakiness and Fragility of Randoop Regression Test Suites
Samad Paydar, Aidin Azamnouri |
111-126 |
Verification
|
Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL
Antonio González-Burgueño, Peter Csaba Ölveczky |
129-144 |
Logics for Petri Nets with Propagating Failures
Leandro Gomes, Alexandre Madeira, Mario Benevides |
145-157 |
Verifying System-Wide Properties of Industrial Component-Based Software
Thomas Neele, Marijn Rol, Jan Friso Groote |
158-175 |
Distributed Algorithms
|
Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness
Samira Akili, Kim Völlinger |
179-185 |
Taming Hierarchical Connectors
José Proença, Alexandre Madeira |
186-193 |
Service Orchestration with Priority Constraints
Behnaz Changizi, Natallia Kokash, Farhad Arbab |
194-209 |
Program Analysis
|
Modeling Non-deterministic C Code with Active Objects
Nathan Wasser, Asmae Heydari Tabar, Reiner Hahnle |
213-227 |
Verification of Smart Contract Business Logic
Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider |
228-243 |
An Approach to Generate Effective Fault Localization Methods for Programs
Babak Bagheri, Mohammad Rezaalipour, Mojtaba Vahidi-Asl |
244-259 |
Hosted by HAL : 