conftrace_

black-box testing

4 papers

Explore in graph

Co-occurring keywords

crash consistency (8) file system testing (1) crash simulation (1) bounded testing (1) file system (9) protocol verification (3) disagreement detection (10) bgp protocol (1) route map (1) risk discovery (2)

Papers

MESSI: Behavioral Testing of BGP Implementations NSDI 2024
Query-Efficient Black-Box Red Teaming via Bayesian Optimization ACL 2023
DiffChaser: Detecting Disagreements for Deep Neural Networks IJCAI 2019
Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing OSDI 2018