GitHub repository: volodya-lombrozo/se-limitations-slr
Description: Symbolic Execution Limitations - Systematic Literature Review