Kaya, D.O.Tuglular, T.Belli, F.2024-01-062024-01-0620239798350340815https://doi.org/10.1109/UBMK59864.2023.10286660https://hdl.handle.net/11147/141518th International Conference on Computer Science and Engineering, UBMK 2023 -- 13 September 2023 through 15 September 2023 -- 193873Software Product Line testing is by its nature challenging, especially due to the exponential rise in the number of assets that need to be verified. Scalability and efficient verification, two challenges that model-based SPL testing must deal with, are discussed in this paper. An approach to automatically obtaining test suites for software product lines is proposed as a solution to these challenges. By exploiting Event Sequence Graphs with Feature Expressions, which concisely depict the Software Product Line behavior, the proposed approach automatically generates test sequences for different product configurations. The presented approach is applied to the illustrative case studies from the literature. © 2023 IEEE.eninfo:eu-repo/semantics/closedAccessevent sequence graphsfeature expressionsoftware product linesSoftware designCase-studiesEvent sequence graphsExponentialsFeature expressionModel-based OPCProduct configurationSoftware Product LineSoftware product line testingTest sequenceSoftware testingConference Object2-s2.0-8517760315110.1109/UBMK59864.2023.10286660