jacksonpradolima / coleman4hcs Sponsor Star 22 Code Issues Pull requests COLEMAN (Combinatorial VOlatiLE Multi-Armed BANdit) - and strategies for HCS context tcp continuous-integration ci multi-armed-bandit hcs coleman mab test-case-prioritization tcpci highly-configurable-system Updated Nov 21, 2025 Jupyter Notebook
KIT-TVA / Vari-Joern Star 1 Code Issues Pull requests An analysis platform for vulnerability discovery in highly-configurable software systems. static-analysis vulnerability-detection highly-configurable-system Updated Dec 18, 2025 C