Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th FASE 2017: Uppsala, Sweden (Part of ETAPS 2017)
- Marieke Huisman
, Julia Rubin:
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Lecture Notes in Computer Science 10202, Springer 2017, ISBN 978-3-662-54493-8
Learning and Inference
- Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang:
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. 3-21 - Vajih Montaghami, Derek Rayside:
Bordeaux: A Tool for Thinking Outside the Box. 22-39
Test Selection
- Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury:
Bucketing Failing Tests via Symbolic Analysis. 43-59 - Ripon Saha, Milos Gligoric:
Selective Bisection Debugging. 60-77 - Cristiano Werner Araújo, Ingrid Nunes, Daltro José Nunes:
On the Effectiveness of Bug Predictors with Procedural Systems: A Quantitative Study. 78-95
Program and System Analysis
- Erik Krogh Kristensen, Anders Møller:
Inference and Evolution of TypeScript Declaration Files. 99-115 - Raymond Hu, Nobuko Yoshida:
Explicit Connection Actions in Multiparty Session Types. 116-133 - Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer:
Change and Delay Contracts for Hybrid System Component Verification. 134-151 - Dimitar Asenov, Balz Guenat, Peter Müller, Martin Otth:
Precise Version Control of Trees with Line-Based Version Control Systems. 152-169
Graph Modelling and Transformation
- Chris Alvin, Brian Peterson, Supratik Mukhopadhyay:
StaticGen: Static Generation of UML Sequence Diagrams. 173-190 - Erhan Leblebici, Anthony Anjorin, Andy Schürr:
Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques. 191-207 - Steffen Zschaler, Francisco Durán:
GTS Families for the Flexible Composition of Graph Transformation Systems. 208-225 - Sven Schneider, Leen Lambers, Fernando Orejas:
Symbolic Model Generation for Graph Properties. 226-243
Model Transformations
- Zinovy Diskin, Abel Gómez, Jordi Cabot:
Traceability Mappings as a Fundamental Instrument in Model Transformations. 247-263 - Juan de Lara, Juri Di Rocco, Davide Di Ruscio, Esther Guerra, Ludovico Iovino, Alfonso Pierantonio, Jesús Sánchez Cuadrado:
Reusing Model Transformations Through Typing Requirements Models. 264-282 - Gabriele Taentzer, Manuel Ohrndorf, Yngve Lamo, Adrian Rutle:
Change-Preserving Model Repair. 283-299 - Zheng Cheng, Massimo Tisi:
A Deductive Approach for Fault Localization in ATL Model Transformations. 300-317
Configuration and Synthesis
- Noomene Ben Henda, Björn Johansson, Patrik Lantz, Karl Norrman, Pasi Saarinen, Oskar Segersvärd:
OpenSAW: Open Security Analysis Workbench. 321-337 - Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia:
Visual Configuration of Mobile Privacy Policies. 338-355 - Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias:
Automated Workarounds from Java Program Specifications Based on SAT Solving. 356-373 - Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae:
Slicing from Formal Semantics: Chisel. 374-378 - Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte:
EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. 379-383
Software Product Lines
- Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse:
Family-Based Model Checking with mCRL2. 387-405 - Aleksandar S. Dimovski, Andrzej Wasowski:
Variability-Specific Abstraction Refinement for Family-Based Model Checking. 406-423 - Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt:
A Unified and Formal Programming Model for Deltas and Traits. 424-441
a service of 
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-04-18 20:19 CEST 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:
