Author:
Legay Axel,Perrouin Gilles,Devroey Xavier,Cordy Maxime,Schobbens Pierre-Yves,Heymans Patrick
Publisher
Springer International Publishing
Reference38 articles.
1. Al-Hajjaji, M., Thüm, T., Meinicke, J., Lochau, M., Saake, G.: Similarity-based prioritization in software product-line testing. In: SPLC, pp. 197–206. ACM (2014)
2. ALL4TEC - MaTeLo.
http://all4tec.net/index.php/en/model-based-testing/20-markov-test-logic-matelo
3. Beohar, H., Mousavi, M.: Input-output conformance testing based on featured transition systems. In: 29th Annual ACM Symposium on Applied Computing, pp. 1272–1278. ACM (2014)
4. Beohar, H., Varshosaz, M., Mousavi, M.R.: Basic behavioral models for software product lines: expressiveness and testing pre-orders. Sci. Comput. Program. 123, 42–60 (2016)
5. Classen, A.: Modelling and model checking variability-intensive systems. Ph.D. thesis, University of Namur (FUNDP) (2011)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献