fixies

experiment.tex

@@ -1,6 +1,6 @@
 \section{Experiments}\label{sec:experiment}
 We experimentally evaluated the performance and quality of our methodology, and corresponding heuristic implementation in \cref{subsec:heuristics},
-and compare them against the exhaustive approach in Section~\cref{TOADD}. In the following,
+and compare them against the exhaustive approach in Section~\cref{sec:heuristics}. In the following,
 \cref{subsec:experiments_infrastructure} presents the simulator and testing infrastructure adopted in our experiments, as well as the complete experimental settings; \cref{subsec:experiments_performance} analyses the performance of our solution in terms of execution time; \cref{subsec:experiments_quality} presents the quality of our heuristic algorithm in terms of the metrics in \cref{subsec:metrics}.
 
 \subsection{Testing Infrastructure and Experimental Settings}\label{subsec:experiments_infrastructure}