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.

Skill repository to enforce Engineering disclipline in coding assistants

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

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

configuration evolution dataset

Test-Case Prioritization for Configuration Testing

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

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

БГУИР, КСиС, ПОИТ | Лабораторные работы по предмету НПО

Reproducible Hybrid Attention framework for software reliability prediction across CM1, JM1, KC1, KC2, and PC1, with frozen grouped splits, train-only standardization, repeated-seed evaluation, baselines, ablations, statistical analysis, and manuscript-ready results.

Autonomous Incident Commander for Verified Software Recovery ,Microsoft Foundry-assisted agents that investigate incidents, block unsafe fixes, validate recovery, and generate postmortems.

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

Unofficial portable Claude Code and Codex skill for NASA/JPL Power of Ten code reviews.