Exploiting Symmetries to Test Programs

Arnaud Gotlieb. Exploiting Symmetries to Test Programs. In 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA. pages 365-374, IEEE Computer Society, 2003. [doi]

Abstract

Abstract is missing.