![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
17. FASE 2014: Grenoble, France (Part of ETAPS 2014)
- Stefania Gnesi
, Arend Rensink:
Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Lecture Notes in Computer Science 8411, Springer 2014, ISBN 978-3-642-54803-1
Invited Paper
- Christel Baier
, Clemens Dubslaff, Sascha Klüppelholz
, Marcus Daum, Joachim Klein
, Steffen Märcker, Sascha Wunderlich:
Probabilistic Model Checking and Non-standard Multi-objective Reasoning. 1-16
Modelling and Model Transformation
- Alcino Cunha
, Nuno Macedo
, Tiago Guimarães
:
Target Oriented Relational Model Finding. 17-31 - Perdita Stevens:
Bidirectionally Tolerating Inconsistency: Partial Transformations. 32-46 - Daniel Strüber, Julia Rubin, Gabriele Taentzer, Marsha Chechik:
Splitting Models Using Information Retrieval and Model Crawling Techniques. 47-62 - Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski
:
Sound Merging and Differencing for Class Diagrams. 63-78
Time and Performance
- José Luiz Fiadeiro, Antónia Lopes
:
Heterogeneous and Asynchronous Networks of Timed Systems. 79-93 - Matthias Kowal, Ina Schaefer, Mirco Tribastone
:
Family-Based Performance Analysis of Variant-Rich Software Systems. 94-108
Static Analysis
- Pietro Ferrara
, Daniel Schweizer, Lucas Brutschy:
TouchCost: Cost Analysis of TouchDevelop Scripts. 109-124 - Rashmi Mudduluru, Murali Krishna Ramanathan:
Efficient Incremental Static Analysis Using Path Abstraction. 125-139 - Wei Huang, Yao Dong, Ana L. Milanova:
Type-Based Taint Analysis for Java Web Applications. 140-154 - Alireza Sadeghi, Naeem Esfahani, Sam Malek:
Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities. 155-169
Scenario-Based Specification
- Dimitri Van Landuyt
, Wouter Joosen:
Modularizing Early Architectural Assumptions in Scenario-Based Requirements. 170-184 - Barak Cohen, Shahar Maoz:
Semantically Configurable Analysis of Scenario-Based Specifications. 185-199
Software Verification
- Paolo Masci
, Yi Zhang
, Paul L. Jones, Paul Curzon
, Harold W. Thimbleby:
Formal Verification of Medical Device User Interfaces Using PVS. 200-214 - Pedro de Carvalho Gomes, Attilio Picoco, Dilian Gurov
:
Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs. 215-229 - Marina Zaharieva-Stojanovski, Marieke Huisman
:
Verifying Class Invariants in Concurrent Programs. 230-245
Analysis and Repair
- Yu Pei
, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Automatic Program Repair by Fixing Contracts. 246-260 - Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey:
Dynamic Package Interfaces. 261-275
Verification and Validation
- Marcello Maria Bersani, Domenico Bianculli
, Carlo Ghezzi, Srdan Krstic
, Pierluigi San Pietro
:
SMT-Based Checking of SOLOIST over Sparse Traces. 276-290 - Luc Moreau
, Trung Dong Huynh
, Danius T. Michaelides:
An Online Validator for Provenance: Algorithmic Design, Testing, and API. 291-305 - Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel
:
Comparator: A Tool for Quantifying Behavioural Compatibility. 306-309
Graph Transformation
- Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
Transformation of Attributed Structures with Cloning. 310-324 - Christian Krause, Matthias Tichy, Holger Giese:
Implementing Graph Transformations in the Bulk Synchronous Parallel Model. 325-339 - Anthony Anjorin
, Karsten Saller, Malte Lochau, Andy Schürr:
Modularizing Triple Graph Grammars Using Rule Refinement. 340-354 - Michael Löwe, Harald König, Christoph Schulz:
Polymorphic Single-Pushout Graph Transformation. 355-369
Debugging and Testing
- Elena Giachino
, Ivan Lanese, Claudio Antares Mezzina
:
Causal-Consistent Reversible Debugging. 370-384 - Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes:
An Expressive Semantics of Mocking. 385-399 - Maximiliano Cristiá
, Joaquín Mesuro, Claudia S. Frydman:
Integration Testing in the Test Template Framework. 400-414 - Ana Cavalcanti
, Marie-Claude Gaudel:
Data Flow Coverage for Circus-Based Testing. 415-429
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.