1. Timothy Alan Budd. 1980. Mutation Analysis of Program Test Data. Ph. D. Dissertation. USA. AAI8025191. Timothy Alan Budd. 1980. Mutation Analysis of Program Test Data. Ph. D. Dissertation. USA. AAI8025191.
2. Mark Chen , Jerry Tworek , Heewoo Jun , Qiming Yuan , Henrique Ponde de Oliveira Pinto , Jared Kaplan, Harri Edwards, Yuri Burda , Nicholas Joseph, Greg Brockman , 2021 . Evaluating large language models trained on code. arXiv preprint arXiv:2107.03374 (2021). Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde de Oliveira Pinto, Jared Kaplan, Harri Edwards, Yuri Burda, Nicholas Joseph, Greg Brockman, 2021. Evaluating large language models trained on code. arXiv preprint arXiv:2107.03374 (2021).
3. Conversing with Copilot: Exploring Prompt Engineering for Solving CS1 Problems Using Natural Language
4. Matthias Felleisen , Robert Bruce Findler , Matthew Flatt , and Shriram Krishnamurthi . 2018. How to Design Programs: An Introduction to Programming and Computing . The MIT Press . Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, and Shriram Krishnamurthi. 2018. How to Design Programs: An Introduction to Programming and Computing. The MIT Press.
5. Property-based testing