共 50 条
- [3] Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines [J]. Journal of Computer Languages, 2022, 70
- [4] Towards Automated Test Refactoring for Software Product Lines [J]. SPLC'18: PROCEEDINGS OF THE 22ND INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL 1, 2018, : 143 - 148
- [5] Automated Incremental Pairwise Testing of Software Product Lines [J]. SOFTWARE PRODUCT LINES: GOING BEYOND, 2010, 6287 : 196 - +
- [8] Model Based Testing in Software Product Lines [J]. ENTERPRISE INFORMATION SYSTEMS, ICEIS 2011, 2012, 102 : 270 - 283
- [9] Software product lines [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - TOOLS 33, PROCEEDINGS, 2000, : 467 - 467
- [10] 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