• Mon, May 20, 2013
• 08:30 – 12:30
• Automated Testing of GUI Applications: Models, Tools, and Controlling Flakiness
  ICSE Tutorial
  
• Build Your Own Model Checker in One Month
  ICSE Tutorial
  
• Data Science for Software Engineering
  ICSE Tutorial
  
• 14:00 – 18:00
• Developing Verified Programs with Dafny
  ICSE Tutorial
  
• Software Analytics: Achievements and Challenges
  ICSE Tutorial
  

Time stamp: 2019-02-22T07:50:08+01:00