首页>外文会议>European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering

European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering

召开年：2019
召开地：Prague(CZ)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Preface

机译：前言
- 作者：Wil van der Aalst;Reiner Haehnle
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
2.ETAPS Foreword

机译：阶段前言
- 作者：Joost-Pieter Katoen;ETAPS SC Chair;ETAPS e.V. President
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
3.Software Assurance in an Uncertain World

机译：不确定世界中的软件保障
- 作者：Marsha Chechik;Rick Salay;Torin Viger;Sahar Kokaly;Mona Rahimi
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
4.Tool Support for Correctness-by-Construction

机译：工具支持按结构正确性
- 作者：Tobias Runge;Ina Schaefer;Loek Cleophas;Thomas Thuem;Derrick Kourie;Bruce W. Watson
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
5.Automatic Modeling of Opaque Code for JavaScript Static Analysis

机译：用于JavaScript静态分析的不透明代码的自动建模
- 作者：Joonyoung Park;Alexander Jordan;Sukyoung Ryu
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
- Automatic modeling;
- Static analysis;
- Opaque code;
- JavaScript;
6.SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language

机译：基于SMT的时钟约束规范语言的有界可调度性分析
- 作者：Min Zhang;Fu Song;Frederic Mallet;Xiaohong Chen
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
- SMT;
- CCSL;
- Schedulability;
- Logical time;
- Real-time system;
7.A Hybrid Dynamic Logic for Event/Data-Based Systems

机译：基于事件/数据的系统的混合动态逻辑
- 作者：Rolf Hennicker;Alexandre Madeira;Alexander Knapp
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
8.Pyro: Generating Domain-Specific Collaborative Online Modeling Environments

机译：Pyro：生成特定于领域的协作在线建模环境
- 作者：Philip Zweihof;Stefan Naujokat;Bernhard Steffen
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
9.Efficient Model Synchronization by Automatically Constructed Repair Processes

机译：通过自动构造的修复过程实现高效的模型同步
- 作者：Lars Fritsche;Jens Kosiol;Andy Schuerr;Gabriele Taentzer
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
- Model synchronization: Triple Graph Grammars;
- Short-cut rule;
10.Offline Delta-Driven Model Transformation with Dependency Injection

机译：依赖关系注入的离线Delta驱动模型转换
- 作者：Artur Boroaat
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
- Mappings between languages;
- Traceability;
- Incremental model transformation;
- Performance benchmark;
11.A Logic-Based Incremental Approach to Graph Repair

机译：基于逻辑的图修复增量方法
- 作者：Sven Schneider;Leen Lambers;Fernando Orejas
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
12.DeepFault: Fault Localization for Deep Neural Networks

机译：DeepFault：深度神经网络的故障定位
- 作者：Hasan Ferit Eniser;Simos Gerasimou;Alper Sen
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
- Deep Neural Networks;
- Fault localization;
- Test input generation;
13.Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL

机译：基于游戏的完整CTL提升模型检查的变异性抽象和优化
- 作者：Aleksandar S. Dimovski;Axel Legay;Andrzej Wasowski
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
14.Formal Verification of Safety Security Related Timing Constraints for a Cooperative Automotive System

机译：正式验证协同汽车系统中与安全和保障相关的时序约束
- 作者：Li Huang;Eun-Young Kang
- 会议名称：《》 | 2019年
- Automotive system;
- Safety and security;
- PrCcsl;
- Uppaal-SMC;
15.Checking Observational Purity of Procedures

机译：检查程序的观察纯度
- 作者：Himanshu Arora;Raghavan Komondoor;G. Rainalingam
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
16.Structural and Nominal Cross-Language Clone Detection

机译：结构和名义跨语言克隆检测
- 作者：Lawton Nichols;Mehmet Emre;Ben Hardekopf
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
17.SL2SF: Refactoring Simulink to Stateflow

机译：SL2SF：将Simulink重构为Stateflow
- 作者：Stephen Wynn-Williams;Zinovy Diskin;Vera Pantelic;Mark Lawford;Gehan Selim;Curtis Milo;Moustapha Diab;Feisel Weslati
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
- Simulink;
- Stateflow;
- Refactoring;
- Mealy machines;
- Tabular expressions;
- Monoidal categories;
18.Metric Temporal Graph Logic over Typed Attributed Graphs

机译：类型化属性图上的度量时间图逻辑
- 作者：Holgcr Giese;Maria Maximova;Lucas Sakizloglou;Sven Schneider
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
- Nested graph conditions;
- Metric temporal logic;
- Sequence properties;
- Typed attributed graphs;
- Symbolic graphs;
19.KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs

机译：KupC：建模和验证C程序的动态更新的正式工具
- 作者：Jiaqi Qian;Min Zhang;Yi Wang;Kazuhiro Ogata
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
20.Business Process Privacy Analysis in PLEAK

机译：PLEAK中的业务流程隐私分析
- 作者：Aivo Toots;Reedik Tuuling;Maksyrn Yerokhin;Marlon Dumas;Luciano Garcia-Banuelos;Peetcr Laud;Raimundas Matulevicius;Alisa Pankova;Martin Pettai;Pille Pullonen;Jake Tom
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
21.CLTestCheck: Measuring Test Effectiveness for GPU Kernels

机译：CLTestCheck：测量GPU内核的测试有效性
- 作者：Chao Peng;Ajitha Rajan
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
- Testing;
- Code coverage;
- Fault finding;
- Data race;
- Mutation testing;
- GPU;
- OpenCL;
22.Implementing SOS with Active Objects: A Case Study of a Multicore Memory System

机译：使用活动对象实现SOS：以多核内存系统为例
- 作者：Nikolaos Bezirgiannis;Frank dc Boer;Einar Broch Johnsen;Ka I Pun;S. Lizeth Tapia Tarifa
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
23.Optimal and Automated Deployment for Microservices

机译：微服务的最佳和自动化部署
- 作者：Mario Bravetti;Saverio Giallorenzo;Jacopo Mauro;Iacopo Talevi;Gianluigi Zavattaro
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
24.A Data Flow Model with Frequency Arithmetic

机译：具有频率算法的数据流模型
- 作者：Paul Dubrulle;Christophe Gaston;Nikolai Kosmatov;Arnault Lapitre;Stephane Louise
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
25.CoVeriTest: Cooperative Verifier-Based Testing

机译：CoVeriTest：基于协作验证者的测试
- 作者：Dirk Beyer;Marie-Christine Jakobs
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
- Test-case generation;
- Software testing;
- Test coverage;
- Conditional model checking;
- Cooperative verification;
- Model checking;
26.Pardis: Priority Aware Test Case Reduction

机译：Pardis：降低优先级的测试用例
- 作者：Golnaz Gharachorlu;Nick Sumner
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年
- Test case reduction;
- Automated debugging;
- Priority aware reduction;
27.Automatically Identifying Sufficient Object Builders from Module APIs

机译：通过模块API自动识别足够的对象生成器
- 作者：Pablo Ponzio;Valeria S. Bengolea;Mariano Politano;Nazareno Aguirre;Marcelo F. Frias
- 会议名称：《European Joint Conferences on Theory and Practice of Software;International Conference on Fundamental Approaches to Software Engineering》 | 2019年