APA (7th ed.) Citation

Reisner, E., Song, C., Ma, K., Foster, J. S., & Porter, A. (2010). Using symbolic evaluation to understand behavior in configurable software systems. 2010 ACM/IEEE 32nd International Conference on Software Engineering, 1, 445-454. https://doi.org/10.1145/1806799.1806864

Chicago Style (17th ed.) Citation

Reisner, Elnatan, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, and Adam Porter. "Using Symbolic Evaluation to Understand Behavior in Configurable Software Systems." 2010 ACM/IEEE 32nd International Conference on Software Engineering 1 (2010): 445-454. https://doi.org/10.1145/1806799.1806864.

MLA (9th ed.) Citation

Reisner, Elnatan, et al. "Using Symbolic Evaluation to Understand Behavior in Configurable Software Systems." 2010 ACM/IEEE 32nd International Conference on Software Engineering, vol. 1, 2010, pp. 445-454, https://doi.org/10.1145/1806799.1806864.