APA (7th ed.) Citation

Chowdhury, S. A., Shrestha, S. L., Johnson, T. T., & Csallner, C. (2020, October). SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink. 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 335-346. https://doi.org/10.1145/3377811.3380381

Chicago Style (17th ed.) Citation

Chowdhury, Shafiul Azam, Sohil Lal Shrestha, Taylor T. Johnson, and Christoph Csallner. "SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink." 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) Oct. 2020: 335-346. https://doi.org/10.1145/3377811.3380381.

MLA (9th ed.) Citation

Chowdhury, Shafiul Azam, et al. "SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink." 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), Oct. 2020, pp. 335-346, https://doi.org/10.1145/3377811.3380381.