Nilizadeh, A., Leavens, G.T., Le, X.-B.D., Pasareanu, C.S. and Cok, D.R. (2021) “Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods”, in. doi:10.1109/ICST49551.2021.00033.
Chicago Manual of Style 17th edition (full note)Nilizadeh, Amirfarhad, Gary T. Leavens, Xuan-Bach D. Le, Corina S. Pasareanu, and David R. Cok. “Exploring True Test Overfitting in Dynamic Automated Program Repair Using Formal Methods”. In . https://doi.org/10.1109/ICST49551.2021.00033.
American Psychological Association 7th editionNilizadeh, A., Leavens, G. T., Le, X.-B. D., Pasareanu, C. S., & Cok, D. R. (2021, April 1). Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods. https://doi.org/10.1109/ICST49551.2021.00033
Modern Language Association 9th editionNilizadeh, A., G. T. Leavens, X.-B. D. Le, C. S. Pasareanu, and D. R. Cok. Exploring True Test Overfitting in Dynamic Automated Program Repair Using Formal Methods. 2021, https://doi.org/10.1109/ICST49551.2021.00033.
ISO-690 (author-date, Deutsch)NILIZADEH, Amirfarhad, Gary T. LEAVENS, Xuan-Bach D. LE, Corina S. PASAREANU and David R. COK, 2021. Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods. In: . 1 April 2021