A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming. - Weize Zhao; Haiyan Zhao 001; Zhenjiang Hu (RE Workshops, 2016)