Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs.

Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol

Browse the full APSEC paper archive.