Systematic API Testing Through Model Checking and Executable Contracts.

Ana Catarina Ribeiro, Margarida Mamede, Carla Ferreira

Browse the full ICST paper archive.