Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings > Statistical Model Checking of e-Motions Domain-Specific Modeling Languages
Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings |
Perdita Stevens; Andrzej Wąsowski
Springer Berlin Heidelberg
Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Statistical Model Checking of e-Motions Domain-Specific Modeling Languages
Authors

Francisco Durán; Antonio Moreno-Delgado; José M. Álvarez-Palomo

ARI Id

1664739540959_3015057

Access

Not Available Free

Pages

305-322

DOI

10.1007/978-3-662-49665-7_18

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-662-49665-7_18

Table of Contents of Book
Showing 1 to 20 of 34 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XIII
Front Matter
1-1
The Death of Object-Oriented Programming
Oscar Nierstrasz
3-10
Front Matter
11-11
Automated Choreography Repair
Samik Basu; Tevfik Bultan
13-30
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs
Claudio Corrodi; Alexander Heußner; Christopher M. Poskitt
31-48
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters
Jia-Chun Lin; Ingrid Chieh Yu; Einar Broch Johnsen; Ming-Chang Lee
49-65
Integrated Environment for Verifying and Running Distributed Components
Ludovic Henrio; Oleksandra Kulankhina; Siqi Li; Eric Madelaine
66-83
Front Matter
85-85
Iterative and Incremental Model Generation by Logic Solvers
Oszkár Semeráth; András Vörös; Dániel Varró
87-103
Automated Model Merge by Design Space Exploration
Csaba Debreceni; István Ráth; Dániel Varró; Xabier De Carlos; Xabier Mendialdua; Salvador Trujillo
104-121
RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules
Daniel Strüber; Julia Rubin; Thorsten Arendt; Marsha Chechik; Gabriele Taentzer; Jennifer Plöger
122-140
Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories
Xabier De Carlos; Goiuria Sagardui; Salvador Trujillo
141-157
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models
Markus Weckesser; Malte Lochau; Thomas Schnabel; Björn Richerzhagen; Andy Schürr
158-175
Front Matter
177-177
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices
Jean-Christophe Léchenet; Nikolai Kosmatov; Pascale Le Gall
179-196
The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs
Lei Wang; Han Li; Xinchen Wang
197-213
Modeling and Abstraction of Memory Management in a Hypervisor
Pauline Bolignano; Thomas Jensen; Vincent Siles
214-230
Crowdsourced Bug Triaging: Leveraging Q&A Platforms for Bug Assignment
Ali Sajedi Badashian; Abram Hindle; Eleni Stroulia
231-248
Front Matter
249-249
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 34 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings