Delorean: Using Time Travel to Avoid Bugs and Failures in SDN Applications.

Zhenyu Zhou Theophilus Benson Marco Canini Balakrishnan Chandrasekaran

Published in: SOSR (2017)

Keyphrases

root cause
databases
source code
data sets
information retrieval
computer vision
search algorithm
object oriented
test cases
formal methods
process algebra