Property-Based Testing in a Screencast Editor, Case Study 3: Integration Testing


#1