-
Graph Interval Neural Network: https://github.com/GINN-Imp/GINN
-
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software: https://bitbucket.org/fff000147369/ytt
-
GUARD: Scalable, Context-Sensitive, Guarded Data Race Detection: https://figshare.com/articles/dataset/GURAR-Experiment/9724055
-
Accerlating Constraint Solving in Symbolic Execution by CNN: https://bitbucket.org/fff000147369/dlsat
-
Bug datasets: https://figshare.com/articles/dataset/datasets_tar_gz/8796677
ginn-imp / projects Goto Github PK
View Code? Open in Web Editor NEWA list of my open source projects