APA (7th ed.) Citation

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 Style (17th ed.) Citation

Csallner, Christoph, Nikolai Tillmann, and 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 (9th ed.) Citation

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.