Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution-Reference-Cited by-同舟云学术

Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution

Published:2012 Issue: Volume: Page:207-221
ISSN:0302-9743
Container-title:Formal Methods for Industrial Critical Systems
language:
Short-container-title:

Author:

Slabý Jiří,Strejček Jan,Trtík Marek

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-32469-7_14.pdf

Reference35 articles.

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

2. Andersen, L.O.: Program analysis and specialization for the C programming language. PhD thesis, DIKU, University of Copenhagen, report 94/19 (1994)

3. Ball, T., Bounimova, E., Kumar, R., Levin, V.: SLAM2: Static driver verification with under 4% false alarms. In: Proceedings of FMCAD, pp. 35–42. IEEE (2010)

4. Ball, T., Levin, V., Rajamani, S.K.: A decade of software model checking with SLAM. Journal on Commun. ACM 54(7) (2011)

5. Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The software model checker BLAST. Journal on Software Tools for Technology Transfer 9(5), 505–525 (2007)

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

1. Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM;Lecture Notes in Computer Science;2024-09-10

2. CEGAR-PT: A Tool for Abstraction by Program Transformation;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

3. CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

4. Bounded Model Checking for LLVM;Form Comp Aid Design;2022

5. SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11