Coverage Criteria for Behavioural Testing of Software Product Lines-Reference-Cited by-同舟云学术

Coverage Criteria for Behavioural Testing of Software Product Lines

Published:2014 Issue: Volume: Page:336-350
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
language:
Short-container-title:

Author:

Devroey Xavier,Perrouin Gilles,Legay Axel,Cordy Maxime,Schobbens Pierre-Yves,Heymans Patrick

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-45234-9_24

Reference31 articles.

1. ALL4TEC: MaTeLo, http://www.all4tec.net/index.php/en/model-based-testing (last visit January 31, 2014)

2. Astesana, J.M., Cosserat, L., Fargier, H.: Constraint-based vehicle configuration: A case study. In: 2010 22nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI), vol. 1, pp. 68–75 (October 2010)

3. Beohar, H., Mousavi, M.R.: Spinal Test Suites for Software Product Lines. ArXiv e-prints (2014)

4. Lecture Notes in Computer Science;H. Cichos,2011

5. Classen, A.: Modelling and Model Checking Variability-Intensive Systems. Ph.D. thesis, PReCISE Research Center, Faculty of Computer Science, University of Namur, FUNDP (2011)

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Software Product Line Testing based on Event Sequence Graphs with Feature Expressions;2023 8th International Conference on Computer Science and Engineering (UBMK);2023-09-13

2. A Parsing-Based Approach for Constructing Executable EFSM;2023 9th International Symposium on System Security, Safety, and Reliability (ISSSR);2023-06

3. Incremental Testing in Software Product Lines—An Event Based Approach;IEEE Access;2023

4. Classification Trends Taxonomy of Model-based Testing for Software Product Line: A Systematic Literature Review;KSII Transactions on Internet and Information Systems;2022-05-31

5. Efficient static analysis and verification of featured transition systems;Empirical Software Engineering;2021-10-23