software-reliability

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

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

Testing Configuration Changes in Context to Prevent Production Failures

configuration evolution dataset

Test-Case Prioritization for Configuration Testing

Automated Testing and Adaptive Detection of **Slow Faults** in Distributed Systems

Companion Repository for "Bugs in Quantum Computing Platforms: An Empirical Study", OOPSLA 2022

软件可靠性常见的模型及评估算法的实现

Seminarski rad na temu pouzdanosti softvera.

For our ASE23 Paper "Vicious Cycles in Distributed Software Systems" by Shangshu Qian, Wen Fan, Lin Tan, and Yongle Zhang

SRGM dataset repository

Metrology, Standardization and Certification of Software.

NUAA 软件可靠性课程设计后端部分

Research paper on "Comparative analysis of software reliability using GWO and ML" published in IEEE during IATMSI conference.