Хорошая статья о непопулярных техниках автоматической генерации тесткейсов: символьное выполнение, тестирование с помощью моделей, комбинаторное тестирование, адаптивное случайное тестирование (adaptive random testing) и тестировании на основе поиска (search-based testing). Для каждой техники описаны базовые идеи, практическая применимость, существующие проблемы и перспективы.

https://cs.stanford.edu/people/saswat/research/ASTJSS.pdf

Кстати символьное выполнение можно попробовать прямо в браузере - http://klee.doc.ic.ac.uk/

#непишитетесты