Csallner, C., Tillmann, N., & Smaragdakis, Y. (2008). DySy: Dynamic symbolic execution for invariant inference. International Conference on Software Engineering 2008, 2008(24), . https://doi.org/10.1145/1368088.1368127
Chicago-Zitierstil (17. Ausg.)Csallner, Christoph, Nikolai Tillmann, und Yannis Smaragdakis. "DySy: Dynamic Symbolic Execution for Invariant Inference." International Conference on Software Engineering 2008 2008, no. 24 (2008). https://doi.org/10.1145/1368088.1368127.
MLA-Zitierstil (9. Ausg.)Csallner, Christoph, et al. "DySy: Dynamic Symbolic Execution for Invariant Inference." International Conference on Software Engineering 2008, vol. 2008, no. 24, 2008, https://doi.org/10.1145/1368088.1368127.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.