conftrace_

correctness criterion

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

test scheduling (1) conflict detection (1) stateful network (1) scheduling algorithm (1) black-box testing (1) read-write conflict (1) network policy (1)

Papers

Efficient and Correct Test Scheduling for Ensembles of Network Policies NSDI 2018