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

Reliability and evaluation framework for reproducing and diagnosing hidden information-integrity failures in distributed personalization and AI-enabled systems.

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

Verification framework and benchmark for LLM-generated IaC repairs. QRS 2026 regular paper. arXiv:2609.28488.

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.