If the specs are bad, QA will find low quality spots of undefined behaviour (anything goes, ergo it's fine), or even actual logic issues in the specs.

However the software is coded to specs, not to QA's own desires, so the bugs stay.