Return to Article Details Towards Runtime Testing of Dynamically Adaptive Systems based on Behavioral Properties Download Download PDF