Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
-
Updated
Dec 11, 2024 - C#
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
Automatic Reliability Testing for Kubernetes Controllers and Operators
Push-Button End-to-End Testing of Kubernetes Operators and Controllers
For our ICSE23 paper "Impact of Code Language Models on Automated Program Repair" by Nan Jiang, Kevin Liu, Thibaud Lutellier, and Lin Tan
For our ICSE21 paper "CURE: Code-Aware Neural Machine Translation for Automatic Program Repair" by Nan Jiang, Thibaud Lutellier, and Lin Tan
A library for testing concurrent C++ code and deterministically reproducing bugs.
For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, Mike Godfrey
Testing Configuration Changes in Context to Prevent Production Failures
For our ICSE23 paper "KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair" by Nan Jiang, Thibaud Lutellier, Yiling Lou, Lin Tan, Dan Goldwasser, and Xiangyu Zhang
Test-Case Prioritization for Configuration Testing
configuration evolution dataset
Companion Repository for "Bugs in Quantum Computing Platforms: An Empirical Study", OOPSLA 2022
For our ASE23 Paper "Vicious Cycles in Distributed Software Systems" by Shangshu Qian, Wen Fan, Lin Tan, and Yongle Zhang
Metrology, Standardization and Certification of Software.
БГУИР, КСиС, ПОИТ | Лабораторные работы по предмету НПО
Research paper on "Comparative analysis of software reliability using GWO and ML" published in IEEE during IATMSI conference.
Course Project on predicting reusability rate of software artifacts using machine learning
Add a description, image, and links to the software-reliability topic page so that developers can more easily learn about it.
To associate your repository with the software-reliability topic, visit your repo's landing page and select "manage topics."