Loop summarization using state and transition invariants-Reference-Cited by-同舟云学术

Loop summarization using state and transition invariants

Published:2012-10-18 Issue:3 Volume:42 Page:221-261
ISSN:0925-9856
Container-title:Formal Methods in System Design
language:en
Short-container-title:Form Methods Syst Des

Author:

Kroening Daniel,Sharygina Natasha,Tonetta Stefano,Tsitovich Aliaksei,Wintersteiger Christoph M.

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s10703-012-0176-y.pdf

Reference61 articles.

1. Aiken A, Bugrara S, Dillig I, Dillig T, Hackett B, Hawkins P (2007) An overview of the Saturn project. In: Das M, Grossman D (eds) Workshop on program analysis for software tools and engineering. ACM, New York, pp 43–48

2. Ashcroft E, Manna Z (1979) The translation of ‘go to’ programs to ‘while’ programs. In: Classics in software engineering. Yourdon Press, Upper Saddle River, pp 49–61

3. Lecture notes in computer science;I Balaban,2006

4. Lecture notes in computer science;T Ball,2001

5. Ben-Amram AM, Lee CS (2009) Ranking functions for size-change termination II. In: Logical methods in computer science, vol 5. Chapter 8

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

1. Solving Infinite-State Games via Acceleration;Proceedings of the ACM on Programming Languages;2024-01-05

2. Localized Attractor Computations for Infinite-State Games;Lecture Notes in Computer Science;2024

3. LCVD: Loop-oriented code vulnerability detection via graph neural network;Journal of Systems and Software;2023-08

4. Summarization of branching loops;Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing;2022-04-25

5. PBLInv: Postcondition-based Loop Invariant Learning for C Programs;2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS);2020-12