pderakhshanfar's Stars
plan-research/tga-pipeline
Pipeline for automatic test generation assessment
ksluckow/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
ciselab/CPS_repo_mining
Repository mining for searching Performance Antipatterns in Cyber-Physical System Projects.
se2p/pynguin
The PYthoN General UnIt Test geNerator is a test-generation tool for Python