Full Text Documents Search Links IFIP website IFIP TC6 Open DL

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

Designed by Inria-IES Team :     Hosted by HAL :