Erik M. Fredericks, Andres J. Ramirez, Betty H. C. Cheng. Validating Code-Level Behavior of Dynamic Adaptive Systems in the Face of Uncertainty. In Günther Ruhe, Yuanyuan Zhang, editors, Search Based Software Engineering - 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings. Volume 8084 of Lecture Notes in Computer Science, pages 81-95, Springer, 2013. [doi]
Abstract is missing.