An Undergraduate Summer Research Program in Software Safety

This paper shares the experiences and lessons learned from conducting an NSF-sponsored eightweek summer research program for ten undergraduate students from multiple universities. The focus of the research was on ¿Verification and Validation for Software Safety¿, and emphasized a strong fundamental knowledge of software safety while maintaining a close collaboration with industry. The program included lectures and special tutorials from guest speakers, field trips, review sessions, as well as posters and final presentations by the students.