APA (7th ed.) Citation

Ganov, S. R., Killmar, C., Khurshid, S., & Perry, D. E. (2008). Test generation for graphical user interfaces based on symbolic execution. International Conference on Software Engineering 2008, 2008(9), . https://doi.org/10.1145/1370042.1370050

Chicago Style (17th ed.) Citation

Ganov, Svetoslav R., Chip Killmar, Sarfraz Khurshid, and Dewayne E. Perry. "Test Generation for Graphical User Interfaces Based on Symbolic Execution." International Conference on Software Engineering 2008 2008, no. 9 (2008). https://doi.org/10.1145/1370042.1370050.

MLA (9th ed.) Citation

Ganov, Svetoslav R., et al. "Test Generation for Graphical User Interfaces Based on Symbolic Execution." International Conference on Software Engineering 2008, vol. 2008, no. 9, 2008, https://doi.org/10.1145/1370042.1370050.