conftrace_

bug detection

23 papers

Explore in graph

Co-occurring keywords

network verification (18) symbolic execution (18) automated testing (9) configuration testing (3) distributed system (96) large language model (13587) program testing (3) program analysis (33) formal verification (284) program verification (19)

Papers

Runtime Protocol Refinement Checking for Distributed Protocol Implementations NSDI 2025
MeshTest: End-to-End Testing for Service Mesh Traffic Management NSDI 2025
LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs ACL 2025
Lazy Testing of Machine-Learning Models IJCAI 2025
Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation OSDI 2024
Sanitizing Large Language Models in Bug Detection with Data-Flow EMNLP 2024
Automatic Bug Detection in LLM-Powered Text-Based Games Using LLMs ACL 2024
Large Language Models of Code Fail at Completing Code with Potential Bugs NIPS 2023
SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers NSDI 2022
Automatic Reliability Testing For Cluster Management Controllers OSDI 2022
DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs OSDI 2022
On Distribution Shift in Learning-based Bug Detectors ICML 2022
Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures OSDI 2022
Adaptive Testing and Debugging of NLP Models ACL 2022
Self-Supervised Bug Detection and Repair NIPS 2021
Metha: Network Verifiers Need To Be Correct Too! NSDI 2021
Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing OSDI 2020
Understanding, Detecting and Localizing Partial Failures in Large System Software NSDI 2020
AGAMOTTO: How Persistent is your Persistent Memory Application? OSDI 2020
Dataplane equivalence and its applications NSDI 2019
Concurrency Debugging with MaxSMT AAAI 2019
Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing OSDI 2018
Correct by Construction Networks Using Stepwise Refinement NSDI 2017