Pinned Loading

1. SemMT SemMT Public

   SemMT, an automatic testing approach for machine translation systems based on semantic similarity checking

   Jupyter Notebook 3

2. DeepFD DeepFD Public

   The repository of "DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs"

   Python 15 9

3. Crest-artifacts Crest-artifacts Public

   The artifacts of Crest - Testing Coreference Resolution Systems without Labeled Test Sets

   Jupyter Notebook 2

4. Learning-Based-ParaVerifer Learning-Based-ParaVerifer Public

   Learning-Based Parameterized Verifier using CMP

   Objective-C 1

5. WeChatEmojiConverter WeChatEmojiConverter Public

   微信表情包格式尺寸自动转化工具 A tool to convert and resize images for WeChat Emoji

   Python 3 1