APA (7th ed.) Citation

Trabish, D., Mattavelli, A., Rinetzky, N., & Cadar, C. (2018, May 27). Chopped symbolic execution. 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 350-360. https://doi.org/10.1145/3180155.3180251

Chicago Style (17th ed.) Citation

Trabish, David, Andrea Mattavelli, Noam Rinetzky, and Cristian Cadar. "Chopped Symbolic Execution." 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) 27 May. 2018: 350-360. https://doi.org/10.1145/3180155.3180251.

MLA (9th ed.) Citation

Trabish, David, et al. "Chopped Symbolic Execution." 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 27 May. 2018, pp. 350-360, https://doi.org/10.1145/3180155.3180251.