default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17. 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
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.
last updated on 2024-12-23 19:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
