共 50 条
- [1] Mutation Operators for Feature-Oriented Software Product Lines [J]. SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A, 2020, : 12 - 12
- [2] Verification Strategies for Feature-Oriented Software Product Lines [J]. VAMOS'22: 16TH INTERNATIONAL WORKING CONFERENCE ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS, 2022,
- [3] Mutation operators for feature-oriented software product lines [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2019, 29 (1-2):
- [4] Correctness-by-Construction for Feature-Oriented Software Product Lines [J]. GPCE '2020: PROCEEDINGS OF THE 19TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING: CONCEPTS AND EXPERIENCES, 2020, : 22 - 34
- [5] Type safety for feature-oriented product lines [J]. Automated Software Engineering, 2010, 17 : 251 - 300
- [6] Model-Based Security Analysis of Feature-Oriented Software Product Lines [J]. PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING: CONCEPTS AND EXPERIENCES (GPCE'18), 2018, : 93 - 106
- [7] Type safety for feature-oriented product lines [J]. AUTOMATED SOFTWARE ENGINEERING, 2010, 17 (03) : 251 - 300
- [9] The Feature-Architecture Mapping (FArM) method for feature-oriented development of software product lines [J]. 13TH ANNUAL IEEE INTERNATIONAL SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS: MASTERING THE COMPLEXITY OF COMPUTER-BASED SYSTEMS, 2006, : 308 - +
- [10] Modular Feature-Oriented Graphical Editor Product Lines [J]. SPLC'18: PROCEEDINGS OF THE 22ND INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL 1, 2018, : 76 - 86