Software Engineering Education and Training: Verification and Test
Friday May 20, 2:00 pm - 3:30 pm
Session Chair: Muhammad Ali Babar
Room: San Antonio
02:00 - 02:20 PM ― Can Software Engineering Students Program Defect-free? An Educational Approach
- Guoping Rong, Nanjing University, China
- He Zhang, Nanjing University, China
- Dong Shao, NanJing University, China
- Qi Shan, Software Institute, Nanjing University, China
02:20 - 02:40 PM ― Impact of CS Programs on the Quality of Test Cases Generation: An Empirical Study
- Omar S. Gómez, Technical School of Chimborazo, Ecuador
- Sira Vegas, Universidad Politécnica de Madrid, Spain
- Natalia Juristo, Universidad Politécnica de Madrid, Spain
02:40 - 03:00 PM ― Teaching Code Review Management using Branch Based Workflows
- Stephan Krusche, Technische Universität München, Germany
- Mjellma Berisha, Technische Universität München, Germany
- Bernd Brügge, Technische Universität München, Germany
03:00 - 03:20 PM ― Let's Verify Linux: Accelerated Learning of Analytical Reasoning through Automation and Collaboration
- Suraj Kothari, Iowa State University, United States
- Ahmed Tamrawi, Iowa State University, United States
- Jeremias Sauceda, EnSoft Corp, United States
- Jon Mathews, EnSoft Corp, United States
