Yes but currently semver declaration happens in a best effort base by a human.

The authors advocate that they can have the semver declaration test by a computer which unquestionably will increase the reliability of the declaration in the long run.

It is like testing but for backward compatibility, which of course can be part of the testing infrastructure some day.

I like their approach very much. What a great bachelor project... And the witness approach is great. Bonus points for the systematic approach.

Congrats to all involved.