Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic-Reference-Cited by-同舟云学术

Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic

Published:2014-12-25 Issue:4 Volume:15 Page:1117-1140
ISSN:1619-1366
Container-title:Software & Systems Modeling
language:en
Short-container-title:Softw Syst Model

Author:

de Gouw Stijn,de Boer Frank,Ahrendt Wolfgang,Bubel Richard

Publisher

Springer Science and Business Media LLC

Subject

Modeling and Simulation,Software

Link

http://link.springer.com/content/pdf/10.1007/s10270-014-0446-9.pdf

Reference53 articles.

1. Abadi, M., Leino, K.R.M.: A logic of object-oriented programs. In: Proceedings of 7th International Conference Theory and Practice of Software, volume 1214 of Lecture Notes in Computer Science, pp. 682–696. Springer, Berlin (1997)

2. Ábrahám, E., de Boer, F.S., de Roever, W.P., Steffen, M.: A deductive proof system for multithreaded Java with exceptions. Fundam. Inform. 82(4), 391–463 (2008)

3. Ahrendt, W., de Boer, F.S., Grabe, I.: Abstract object creation in dynamic logic. In: FM, pp. 612–627 (2009)

4. Ahrendt, W., Mostowski, W., Paganelli, G.: Real-time Java API specifications for high coverage test generation. In: Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. JTRES ’12, pp. 145–154. ACM, New York, USA (2012)

5. America, P.: Designing an object-oriented programming language with behavioural subtyping. In: REX Workshop, pp. 60–90 (1990)

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

1. Footprint Logic for Object-Oriented Components;Formal Aspects of Component Software;2022

2. Reasoning About Active Objects: A Sound and Complete Assertional Proof Method;The Logic of Software. A Tasting Menu of Formal Methods;2022

3. SymPaths: Symbolic Execution Meets Partial Order Reduction;Lecture Notes in Computer Science;2020