@inproceedings {179051, author = {Chia-Chi Lin and Virajith Jalaparti and Matthew Caesar and Jacobus Van der Merwe}, title = {{DEFINED}: Deterministic Execution for Interactive {Control-Plane} Debugging}, booktitle = {2013 USENIX Annual Technical Conference (USENIX ATC 13)}, year = {2013}, isbn = {978-1-931971-01-0}, address = {San Jose, CA}, pages = {347--358}, url = {https://www.usenix.org/conference/atc13/technical-sessions/presentation/lin}, publisher = {USENIX Association}, month = jun }