Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

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

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/