Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel. Requirements by Contracts allow Automated System Testing. In 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA. pages 85-98, IEEE Computer Society, 2003. [doi]
Abstract is missing.