Author:
Tavassoli Shaghayegh,Khosravi Ramtin
Publisher
Springer Science and Business Media LLC
Reference50 articles.
1. Vaandrager, F.W.: Model learning. Commun. ACM 60(2), 86–95 (2017)
2. van der Linden, F., Schmid, K., Rommes, E.: Software Product Lines in Action—The Best Industrial Practice in Product Line Engineering. Springer, Berlin (2007)
3. Groce, A., Peled, D., Yannakakis, M.: Adaptive model checking. In: Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, ser. TACAS’02, pp. 357–370. Springer, Berlin (2002)
4. Classen, A., Heymans, P., Schobbens, P., Legay, A., Raskin, J.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering—Volume 1 (ICSE 2010), pp. 335–344. ACM (2010)
5. Classen, A., Cordy, M., Schobbens, P., Heymans, P., Legay, A., Raskin, J.: Featured transition systems: foundations for verifying variability-intensive systems and their application to LTL model checking. IEEE Trans. Softw. Eng. 39(8), 1069–1089 (2013)