Dynamic Symbolic Execution for Testing Distributed Objects-Reference-Cited by-同舟云学术

Dynamic Symbolic Execution for Testing Distributed Objects

Published:2009 Issue: Volume: Page:105-120
ISSN:0302-9743
Container-title:Tests and Proofs
language:
Short-container-title:

Author:

Griesmayer Andreas,Aichernig Bernhard,Johnsen Einar Broch,Schlatte Rudolf

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02949-3_9

Reference24 articles.

1. ENTCS;B. Aichernig,2009

2. Boyer, R.S., Elspas, B., Levitt, K.N.: Select-A formal system for testing and debugging programs by symbolic execution. SIGPLAN Not. 10(6), 234–245 (1975)

3. Chen, F., Hills, M., Roşu, G.: A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages. Technical Report UIUCDCS-R-2006-2702, Department of Computer Science, University of Illinois at Urbana-Champaign (2006)

4. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and programming in rewriting logic. Theoretical Computer Science 285, 187–243 (2002)

5. Lecture Notes in Computer Science;F.S. Boer de,2007

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

1. Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution;Advances in Model and Data Engineering in the Digitalization Era;2021

2. An Enhanced Adaptive Random Testing by Dividing Dimensions Independently;Mathematical Problems in Engineering;2019-10-13

3. A Testing Perspective on Algebraic, Denotational, and Operational Semantics;Unifying Theories of Programming;2019

4. Lightweight Time Modeling in Timed Creol;Electronic Proceedings in Theoretical Computer Science;2010-09-21

5. The Credo Methodology;Formal Methods for Components and Objects;2010