2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) ICSE-SEET Software Engineering: Software Engineering Education and Training (ICSE-SEET), 2022 IEEE/ACM 44th International Conference on. :254-264 May, 2022
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on. 1:506-516 May, 2015
29th International Conference on Software Engineering (ICSE'07) Software Engineering, 2007. ICSE 2007. 29th International Conference on. :3-12 May, 2007
29th International Conference on Software Engineering (ICSE'07) Software Engineering, 2007. ICSE 2007. 29th International Conference on. :688-697 May, 2007
Verification, Model Checking & Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings; 2016, p206-225, 20p