Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte. Dynamic Symbolic Execution for Testing Distributed Objects. In Catherine Dubois, editor, Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings. Volume 5668 of Lecture Notes in Computer Science, pages 105-120, Springer, 2009. [doi]
@inproceedings{GriesmayerAJS09-0,
title = {Dynamic Symbolic Execution for Testing Distributed Objects},
author = {Andreas Griesmayer and Bernhard K. Aichernig and Einar Broch Johnsen and Rudolf Schlatte},
year = {2009},
doi = {10.1007/978-3-642-02949-3_9},
url = {http://dx.doi.org/10.1007/978-3-642-02949-3_9},
tags = {meta-model, testing, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/GriesmayerAJS09-0},
cites = {0},
citedby = {0},
pages = {105-120},
booktitle = {Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings},
editor = {Catherine Dubois},
volume = {5668},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-02948-6},
}