Barros dos Santos, E., Maria de Castro Andrade, R., & de Sousa Santos, I. 2019 May 20. Towards Runtime Testing of Dynamically Adaptive Systems based on Behavioral Properties. Companion Proceedings of the Brazilian Symposium on Information Systems (SBSI). [Online] :