Automated fixing of programs with contracts. - Yi Wei 001; Yu Pei 001; Carlo A. Furia; Lucas Serpa Silva; Stefan Buchholz; Bertrand Meyer 001; Andreas Zeller (ISSTA, 2010)

Evolutionary testing of object-oriented software. - Lucas Serpa Silva; Maarten van Someren (SAC, 2010)

Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. - Lucas Serpa Silva; Yi Wei 001; Bertrand Meyer 001; Manuel Oriol (APSEC, 2011)