Is your OpenFlow application correct?

Proceedings of the ACM CoNEXT Student Workshop, CoNEXT 2011

Volumn , Issue , 2011, Pages

  Perešíni, Peter ^a   Canini, Marco ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED SYSTEMS; JAVA PATHFINDER; MODEL CHECKER; PACKET HEADER FIELDS; PACKET PROCESSING; STATE-SPACE EXPLOSION;

ABSTRACTING; AUTOMATIC TESTING; COMPUTER SOFTWARE; MODEL CHECKING;

JAVA PROGRAMMING LANGUAGE;

EID: 84889759799     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2079327.2079345     Document Type: Conference Paper

References (1)

1. M. Canini, D. Kostić, J. Rexford, and D. Venzano. Automating the Testing of OpenFlow Applications. In WRiPE, 2011.