Information Reuse for Multi-goal Reachability Analyses-Reference-Cited by-同舟云学术

Information Reuse for Multi-goal Reachability Analyses

Published:2013 Issue: Volume: Page:472-491
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Beyer Dirk,Holzer Andreas,Tautschnig Michael,Veith Helmut

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-37036-6_26

Reference28 articles.

1. Albarghouthi, A., Kumar, R., Nori, A.V., Rajamani, S.K.: Parallelizing Top-down Interprocedural Analyses. In: Proc. PLDI, pp. 217–228. ACM (2012)

2. Lecture Notes in Computer Science;S. Anand,2008

3. Beyer, D., Chlipala, A.J., Henzinger, T.A., Jhala, R., Majumdar, R.: Generating Tests from Counterexamples. In: Proc. ICSE, pp. 326–335. IEEE (2004)

4. Lecture Notes in Computer Science;D. Beyer,2004

5. Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The Software Model Checker Blast. Int. J. Softw. Tools Technol. Transfer 9(5-6), 505–525 (2007)

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

1. Automated Translation of Functional Big Data Queries to SQL;Proceedings of the ACM on Programming Languages;2023-04-06

2. Verification Witnesses;ACM Transactions on Software Engineering and Methodology;2022-09-08

3. Collaborative Verification of Uninterpreted Programs;Theoretical Aspects of Software Engineering;2022

4. Reusing Predicate Precision in Value Analysis;Lecture Notes in Computer Science;2022

5. Cooperative verifier-based testing with CoVeriTest;International Journal on Software Tools for Technology Transfer;2021-04-25