Cited By
View all- Casaluce RBurattin AChiaromonte FLafuente AVandin A(2024)White-box validation of quantitative product lines by statistical model checking and process miningJournal of Systems and Software10.1016/j.jss.2024.111983210:COnline publication date: 1-Apr-2024
- Mahmood WStrüber DAnjorin ABerger T(2022)Effects of variability in models: a family of experimentsEmpirical Software Engineering10.1007/s10664-021-10112-327:3Online publication date: 1-May-2022
- Akiki PMaalouf H(2021)CHECKSUM: tracking changes and measuring contributions in cooperative systems modelingSoftware and Systems Modeling10.1007/s10270-020-00840-320:4(1079-1122)Online publication date: 5-Jan-2021
- Show More Cited By