Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations. - Mariam Lahami; Moez Krichen; Hajer Barhoumi; Mohamed Jmaiel (ICTSS, 2015)