Requirements by Contracts allow Automated System Testing.

Clmentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jzquel

Browse the full ISSRE paper archive.