cherry-wb/d-s-se-directed-tests
Binary dynamic, static, and symbolic execution analysis tools for directed test generation
Public GitHub Catalog
Discovered Sep 27, 2026
cherry-wb / UML-Java-Generation
A set of Java code generator written in Eclipse Acceleo
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#8885819GitHub System ID
cherry-wbOrganization / User
PublicVisibility
ActiveCatalog Status
More from cherry-wb
cherry-wb/corestar-old
coreStar is a symbolic execution engine for analysis and verification with separation logic
cherry-wb/symbolic-execution
Public repository.
cherry-wb/mmtests
MMTests: Benchmarking framework primarily aimed at Linux kernel testing