Abstract Interpretation of Symbolic Execution with Explicit State Updates-Reference-Cited by-同舟云学术

Abstract Interpretation of Symbolic Execution with Explicit State Updates

Published:2009 Issue: Volume: Page:247-277
ISSN:0302-9743
Container-title:Formal Methods for Components and Objects
language:
Short-container-title:

Author:

Bubel Richard,Hähnle Reiner,Weiß Benjamin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04167-9_13

Reference26 articles.

1. Lecture Notes in Computer Science;T. Amtoft,2004

2. Lecture Notes in Computer Science;M. Balser,2000

3. Lecture Notes in Computer Science;M. Barnett,2005

4. Barthe, G., D’Argenio, P.R., Rezk, T.: Secure information flow by self-composition. In: 17th IEEE Computer Security Foundations Workshop, CSFW-17, Pacific Grove, CA, USA, pp. 100–114. IEEE Computer Society Press, Los Alamitos (2004)

5. Lecture Notes in Artificial Intelligence,2007

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

1. Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives;The Logic of Software. A Tasting Menu of Formal Methods;2022

2. Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study;Lecture Notes in Computer Science;2016

3. A General Lattice Model for Merging Symbolic Execution Branches;Formal Methods and Software Engineering;2016

4. Array Abstraction with Symbolic Pivots;Theory and Practice of Formal Methods;2016

5. Generating Specifications for Recursive Methods by Abstracting Program States;Dependable Software Engineering: Theories, Tools, and Applications;2015