Generating Asserts for Test Cases Efficiently - Luís Carlos Santos Pinho (2013)