3 ms·
I've seen projects using formal methods including mathematical specifications miss things caught in end-to-end tests written by domain experts rather than forma
by exdsq 5y ago
I've seen projects using formal methods including mathematical specifications miss things caught in end-to-end tests written by domain experts rather than formal method engineers. Perhaps you're right in theory but I've yet to see it in practice.
- amw-zero 5y agoThis just means that you thought of something in the test suite that wasn't in the spec. You can underspecify something.