R. Curtis, and L. Wittie. Proceedings of the 3rd International Conference on Distributed Computing Systems, page 394--400. IEEE Computer Society, (1982)
D. Selsam, P. Liang, and D. Dill. (2017)cite arxiv:1706.08605Comment: To appear at the Thirty-fourth International Conference on Machine Learning (ICML) 2017.
Y. Lin, J. Sun, Y. Xue, Y. Liu, and J. Dong. 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), page 393--403. IEEE, (May 2017)
M. Liffiton, B. Sheese, J. Savelka, and P. Denny. Proceedings of the 23rd Koli Calling International Conference on Computing Education Research, page 1–11. New York, NY, USA, Association for Computing Machinery, (Feb 6, 2024)