<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-08-01 22:52:33Computing Internet Network architecture Border Gateway Protocol Computer networking Concolic testing Router Symbolic execution |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2011-08-01 22:52:33Computing Internet Network architecture Border Gateway Protocol Computer networking Concolic testing Router Symbolic execution |
Add to Reading List |
Online Testing of Federated and Heterogeneous Distributed Systems Marco Canini, Vojin Jovanovi´c, Daniele Venzano, Dejan Novakovi´c, and Dejan Kosti´c School of Computer and Communication Sciences, EPFL, Switzerland {