Lifting Datalog-based analyses to software product lines-Reference-Cited by-同舟云学术

Lifting Datalog-based analyses to software product lines

Published:2019-08-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Shahin Ramy¹,Chechik Marsha¹,Salay Rick¹

Affiliation:

1. University of Toronto, Canada

Funder

Natural Sciences and Engineering Research Council of Canada

General Motors of Canada

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3338906.3338928

Reference36 articles.

1. Interactive, scalable, declarative program analysis

2. Nikolaj Bjørner Arie Gurfinkel Ken McMillan and Andrey Rybalchenko. 2015. Nikolaj Bjørner Arie Gurfinkel Ken McMillan and Andrey Rybalchenko. 2015.

3. Horn Clause Solvers for Program Verification. Springer International Publishing Cham 24–51. 3- 319- 23534- 9_2 Horn Clause Solvers for Program Verification. Springer International Publishing Cham 24–51. 3- 319- 23534- 9_2

4. Eric Bodden Társis Tolêdo Márcio Ribeiro Claus Brabrand Paulo Borba and Mira Mezini. 2013. Eric Bodden Társis Tolêdo Márcio Ribeiro Claus Brabrand Paulo Borba and Mira Mezini. 2013.

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01

2. DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

3. Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models;Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A;2023-08-28

4. Annotative Software Product Line Analysis Using Variability-Aware Datalog;IEEE Transactions on Software Engineering;2023-03-01

5. Applying declarative analysis to industrial automotive software product line models;Empirical Software Engineering;2023-02-04