M>>Потому что кейс на баг может быть из разряда «открыть файл, открыть файл параллельно, закрыть файл из одного потока, записать из второго, открыть из первого, записать из первого, закрыть из второго, закрыть из первого».

M>>Ручками ты такой тест кейс не напишешь. А property-based и fuzzy-тестирование надо а) уметь и б) иметь библиотеки, которые в них умеют.

S>чёт не вижу тут сложного кейса. в чём тут конкретно проблема?

Как ты самостоятельно сможешь найти этот кейс? Именно этот, именно в этом порядке.