1. Nguyen, T.B., Le, T.T.B., Aktouf, O., Parissis, I.: Mobile applications testing based on Bigraphs and Dynamic feature Petri nets. In: Nguyen, N.T., Dao, N.N., Pham, Q.D., Le, H.A. (eds.) Intelligence of Things: Technologies and Applications 2022, vol. 148, pp. 215–225. Springer, Heidelberg (2022)
2. Yu, L., Tsai, W.-T., Perrone, G.: Testing context-aware applications based on bigraphical modeling. IEEE Trans. Reliab. 65, 1584–1611 (2016)
3. Siqueira, B.R., Ferrari, F.C., Souza, K.E., Camargo, V.V., Lemos, R.J.S.T.: Testing of adaptive and context-aware systems: approaches and challenges. Verification and Reliability 1772, 1–46 (2021)
4. Ammann, P., Offutt, J., Huang, H.: Coverage criteria for logical expressions. In: 14th International Symposium on Software Reliability Engineering, pp. 99–107 (2003)
5. Muschevici, R., Clarke, D., Proenca, J.: Feature Petri nets. In: 14th International Conference, pp. 13–17. Jeju, Korea (2010)