Abstract is missing.
- A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive SystemsNarges Khakpour, Jetty Kleijn, Marjan Sirjani. 3-19 [doi]
- A Two-Dimensional Self-coordination Mechanism of Agents in a Minority GameSanaz Hasanzadeh Fard, Hadi Tabatabaee Malazi. 20-36 [doi]
- A Persistent Entropy Automaton for the Dow Jones Stock MarketMarco Piangerelli, Luca Tesei, Emanuela Merelli. 37-42 [doi]
- Proof Guidance in PVS with Sequential Pattern MiningM. Saqib Nawaz, Meng Sun 0002, Philippe Fournier-Viger. 45-60 [doi]
- Using PVS for Modeling and Verification of Probabilistic ConnectorsM. Saqib Nawaz, Meng Sun 0002. 61-76 [doi]
- Greenify: A Game with the Purpose of Test Data Generation for Unit TestingSharmin Moosavi, Hassan Haghighi, Hasti Sahabi, Farzam Vatanzade, Mojtaba Vahidi-Asl. 77-92 [doi]
- Active Learning of Industrial Software with DataLisette Sanchez, Jan Friso Groote, Ramon R. H. Schiffelers. 95-110 [doi]
- An Experimental Study on Flakiness and Fragility of Randoop Regression Test SuitesSamad Paydar, Aidin Azamnouri. 111-126 [doi]
- Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDLAntonio González-Burgueño, Peter Csaba Ölveczky. 129-144 [doi]
- Logics for Petri Nets with Propagating FailuresLeandro Gomes, Alexandre Madeira, Mario R. F. Benevides. 145-157 [doi]
- Verifying System-Wide Properties of Industrial Component-Based SoftwareThomas Neele, Marijn Rol, Jan Friso Groote. 158-175 [doi]
- Case Study on Certifying Distributed Algorithms: Reducing IntrusivenessSamira Akili, Kim Völlinger. 179-185 [doi]
- Taming Hierarchical ConnectorsJosé Proença, Alexandre Madeira. 186-193 [doi]
- Service Orchestration with Priority ConstraintsBehnaz Changizi, Natallia Kokash, Farhad Arbab. 194-209 [doi]
- Modeling Non-deterministic C Code with Active ObjectsNathan Wasser, Asmae Heydari Tabar, Reiner Hähnle. 213-227 [doi]
- Verification of Smart Contract Business Logic - Exploiting a Java Source Code VerifierWolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider. 228-243 [doi]
- An Approach to Generate Effective Fault Localization Methods for ProgramsBabak Bagheri, Mohammad Rezaalipour, Mojtaba Vahidi-Asl. 244-259 [doi]