Author:
Pemmasani Giridhar,Guo Hai-Feng,Dong Yifei,Ramakrishnan C. R.,Ramakrishnan I. V.
Publisher
Springer Berlin Heidelberg
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fast Attack Graph Defense Localization via Bisimulation;Lecture Notes in Computer Science;2024-09-11
2. Spreadsheets for Legal Reasoning: The Continued Promise of Declarative Logic Programming in Law;SSRN Electronic Journal;2020
3. Property-Based Testing via Proof Reconstruction;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
4. Enablers and Inhibitors in Causal Justifications of Logic Programs;Logic Programming and Nonmonotonic Reasoning;2015
5. Model-based test generation using extended symbolic grammars;International Journal on Software Tools for Technology Transfer;2014-04-26