credativ® Blog
Here you will find interesting news about industry-specific topics and us.
Categories
Category
Tag: sqlsmith
15 June 2016
Quality Assurance in PostgreSQL® with SQLsmith
An interesting tool for quality assurance of C compilers is Csmith, a generator of random C programs. I had come to appreciate it during the development of an optimization phase for a C compiler. This compiler features extensive regression tests, and the correctness of the translated programs is also tested using standardized benchmarks. The latter, […]