共 50 条
- [21] Evaluating Different Strategies for Testing Software Product Lines [J]. JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2013, 29 (01): : 9 - 24
- [22] Evaluating Different Strategies for Testing Software Product Lines [J]. Journal of Electronic Testing, 2013, 29 : 9 - 24
- [23] Transfinite dependent choice and w-model reflection [J]. JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (03) : 1153 - 1168
- [24] PLeTs-Test Automation using Software Product Lines and Model Based Testing [J]. 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 483 - 488
- [26] The W-Model - Using Systems Engineering for Adaptronics [J]. 2013 CONFERENCE ON SYSTEMS ENGINEERING RESEARCH, 2013, 16 : 937 - 946
- [27] Modeling and model checking software product lines [J]. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2008, 5051 : 113 - 131
- [28] Symbolic Model Checking of Software Product Lines [J]. 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 321 - 330
- [29] A formal model for Multi Software Product Lines [J]. SCIENCE OF COMPUTER PROGRAMMING, 2019, 172 : 203 - 231
- [30] Model Verification of Dynamic Software Product Lines [J]. THIRTIETH BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES 2016), 2016, : 113 - 122