sarah_nadi

cryptography linux empirical studies api icse16 security variability modeling onward15 clafer static analysis spl doctoral symposium variability anomalies variability msr'13