Improving Intent Correctness with Automated Testing. - Paul Alcock; Ben Simms; Will Fantom; Charalampos Rotsos; Nicholas J. P. Race (NetSoft, 2022)

A NEAT way to test-driven network management. - Will Fantom; Paul Alcock; Ben Simms; Charalampos Rotsos; Nicholas J. P. Race (NOMS, 2022)