Author:
Drouot Bastien,Monthe Valery,Guérin Sylvain,Champeau Joel
Publisher
Springer Nature Switzerland
Reference15 articles.
1. Autili, M., Grunske, L., Lumpe, M., Pelliccione, P., Tang, A.: Aligning qualitative, real-time, and probabilistic property specification patterns using a structured English grammar. IEEE Trans. Software Eng. 41(7), 620–638 (2015)
2. Besnard, V., Teodorov, C., Jouault, F., Brun, M., Dhaussy, P.: Unified verification and monitoring of executable UML specifications. Softw. Syst. Model. 20(6), 1825–1855 (2021)
3. Chen, H., Dean, D., Wagner, D.A.: Model checking one million lines of c code. In NDSS, vol. 4, pp. 171–185 (2004)
4. Corradini, F., Fornari, F., Polini, A., Re, B., Tiezzi, F., Vandin, A.: A formal approach for the analysis of BPMN collaboration models. J. Syst. Softw. 180, 111007 (2021)
5. Dadeau, F., Fourneret, E., Bouchelaghem, A.: Temporal property patterns for model-based testing from UML/OCL. Softw. Syst. Model. 18(2), 865–888 (2019)