Full Text Documents

Search


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/