theyoucheng

theyoucheng's Stars

• sahuidhsu/GPT-KUnit-coder

  A simple script to utilize OpenAI Assistant API for KUnit testing

  Language:Python7

• esbmc/esbmc-ai

  Automated Code Repair suite powered by ESBMC and LLMs.

  Language:C345

• hadrien-pouget/Ranking-Policy-Decisions

  Language:Python21

• TrustAI/DeepConcolic

  Concolic Testing for Deep Neural Networks

  Language:Python11845

• dependable-ai/nn-dependability-kit

  Toolbox for software dependability engineering of artificial neural networks

  Language:Jupyter Notebook349

• florianschanda/smtlib_schanda

  SMTLIB benchmarks assembled by Florian Schanda

  81

• zhouyifan233/MovingObjDetector-WAMI.matlab

  Moving Object detection in Wide-Area Motion Imagery (WAMI) Videos

  Language:MATLAB133

• ForeverZyh/TensorFlow-Program-Bugs

  This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.

  Language:Python3014