Table of Contents
|
Fundamentals of Software Engineering
Mehdi Dastani, Marjan Sirjani |
Front Matter |
Implementing Open Call-by-Value
Beniamino Accattoli, Giulio Guerrieri |
1-19 |
Debugging of Concurrent Systems using Counterexample Analysis
Gianluca Barbon, Vincent Leroy, Gwen Salaün |
20-34 |
Bisimilarity of Open Terms in Stream GSOS
Filippo Bonchi, Matias Lee, Jurriaan Rot |
35-50 |
Composing Families of Timed Automata
Guillermina Cledou, José Proença, Luis Soares Barbosa |
51-66 |
A Formal Model for Multi SPLs
Ferruccio Damiani, Michael Lienhardt, Luca Paolini |
67-83 |
Translating Active Objects into Colored Petri Nets for Communication Analysis
Anastasia Gkolfi, Crystal Din, Einar Johnsen, Martin Steffen, Ingrid Yu |
84-99 |
Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes
Alex Klinkhamer, Ali Ebnenasir |
100-115 |
Flexible Transactional Coordination in the Peer Model
Eva Kühn |
116-131 |
Using Swarm Intelligence to Generate Test Data for Covering Prime Paths
Atieh Monemi Bidgoli, Hassan Haghighi, Tahere Zohdi Nasab, Hamideh Sabouri |
132-147 |
LittleDarwin: A Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems
Ali Parsai, Alessandro Murgia, Serge Demeyer |
148-163 |
TCE+: An Extension of the TCE Method for Detecting Equivalent Mutants in Java Programs
Mahdi Houshmand, Samad Paydar |
164-179 |
Quality-Aware Reactive Programming for the Internet of Things
José Proença, Carlos Baquero |
180-195 |
Purpose-Based Policy Enforcement in Actor-Based Systems
Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi |
196-211 |
Automatic Transition System Model Identification for Network Applications from Packet Traces
Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Fateme Bajelan |
212-227 |
Gray-Box Conformance Testing for Symbolic Reactive State Machines
Masoumeh Taromirad, Mohammad Mousavi |
228-243 |
Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving
Nils Timm, Stefan Gruner, Prince Sibanda |
244-259 |
Hosted by HAL : 